Larch: Languages and Tools for Formal Specification

by John V. Guttag

Book Overview

Building software often seems harder than it ought to be. It takes longer than expected, the software's functionality and performance are not as wonderful as hoped, and the software is not... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0387940065
• ISBN13: 9780387940069
• Release Date: March 1993
• Publisher: Springer
• Length: 250 Pages
• Weight: 1.23 lbs.