booktheque

Larch

John Guttag, James J. Horning, S. J. Garland · 1993

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

This is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.

About the book

Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.

Book details

Year
1993
Language
English
Publisher
Springer
Editions
5
Pages
250
ISBN
9783540940067

Data source: Wikidata

More by John Guttag

Introduction To Computation And Programming Using Python
John Guttag · 2013
Introduction to computation and programming in Python
John Guttag · 2012
Larch: Languages and Tools for Formal Specification
John Guttag · 1993
Introduction to Computation and Programming Using Python, third edition
John Guttag · 2021
Introduction to Computation and Programming Using Python, Second Edition
John Guttag · 2016
Introduction To Computation And Programming Using Python
John Guttag · 2014
Introduction to Computation and Programming Using Python
John Guttag · 2013