Fortell venner om denne varen:
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science David Luckham Softcover reprint of the original 1st ed. 1990 edition
Pris
NOK 519
Bestillingsvarer
Forventes levert 12. - 22. jun
Legg til iMusic ønskeliste
eller
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science
David Luckham
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.
416 pages, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 5. januar 2012 |
| ISBN13 | 9781461396871 |
| Utgivere | Springer-Verlag New York Inc. |
| Antall sider | 416 |
| Mål | 155 × 235 × 22 mm · 612 g |
| Språk | Engelsk |