David Luckham
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

Name: Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science
Price: 54.49 EUR
Availability: OutOfStock
Author: David Luckham

Hinta

€ 54,49

Tilattu etävarastosta

Arvioitu toimitus ti 28. heinä - ke 5. elo

Saat ilmoituksen artistin David Luckham uusista julkaisuista

Asiakkaamme sanovat:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 päivän palautusoikeus

Huippuarvosana Trustpilotissa

Lisää iMusic-toivelistallesi

tai

Ei vielä arvioitu

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

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	Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä	torstai 5. tammikuuta 2012
ISBN13	9781461396871
Tuottaja	Springer-Verlag New York Inc.
Sivujen määrä	416
Mitta	155 × 235 × 22 mm · 612 g
Kieli	Englanti