An edition of Programming with specifications
(1990)
Programming with specifications
an introduction to ANNA, a language for specifying Ada programs
by David C. Luckham
Share
×Close
Last edited by Open Library Bot
December 4, 2010 | History
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Programming with specifications: an introduction to ANNA, a language for specifying Ada programs
1990, Springer-Verlag
in English
0387972544 9780387972541
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references (p. [401]-410) and index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| December 10, 2009 | Created by WorkBot | add works page |