Larch: Languages and Tools for Formal Specification - Monographs in Computer Science - John V. Guttag - Books - Springer-Verlag New York Inc. - 9781461276364 - October 1, 2011
In case cover and title do not match, the title is correct

John V. Guttag
Larch: Languages and Tools for Formal Specification - Monographs in Computer Science Softcover reprint of the original 1st ed. 1993 edition

Price
A$ 83.49
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 9 - 21, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

It takes longer than expected, the software's functionality and performance are not as wonderful as hoped, and the software is not particularly malleable or easy to maintain. The intended audience is practicing programmers and students in undergraduate or basic graduate courses in software engineering or formal methods.

250 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 1, 2011
ISBN13 9781461276364
Publishers Springer-Verlag New York Inc.
Pages 250
Dimensions 155 × 235 × 14 mm   ·   385 g
Language English  

More by John V. Guttag

Show all

See all of John V. Guttag ( e.g. Paperback Book )