booktheque

Larch: Languages and Tools for Formal Specification

John Guttag · 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

Book details

Year
1993
Language
English
Series
Texts and Monographs in Computer Science, 0172-603X
Publisher
Springer New York
Editions
1
Pages
250
ISBN
9781461227045

Data source: Wikidata

More by John Guttag

Larch
John Guttag · 1993
Introduction To Computation And Programming Using Python
John Guttag · 2013
Introduction to computation and programming in Python
John Guttag · 2012
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