Spara
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.
- Undertitel
- An Introduction to ANNA, A Language for Specifying Ada Programs
- Författare
- David Luckham
- Upplaga
- Softcover reprint of the original 1st ed. 1990
- ISBN
- 9781461396871
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2012-01-05
- Sidor
- 416
