Tallenna
Programming with Specifications
Topics • what this book is about, • its intended audience, • what the reader ought to know, • how the book is organized, • acknowledgements. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications.
- Alaotsikko
- An Introduction to ANNA, A Language for Specifying Ada Programs
- Kirjailija
- David Luckham
- Painos
- Softcover reprint of the original 1st ed. 1990
- ISBN
- 9781461396871
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 5.1.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 416
