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: 51.49 EUR
Availability: OutOfStock
Author: David Luckham

Preis

€ 51,49

Bestellware

Lieferdatum: ca. 28. Sep - 6. Okt

Benachrichtigungen über neue Veröffentlichungen von David Luckham erhalten

Unsere Kunden sagen:

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

14-Tage-Rückgaberecht

Topbewertung bei Trustpilot

Zu deiner iMusic Wunschliste hinzufügen

oder

Noch nicht bewertet

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

Medien	Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum	5. Januar 2012
ISBN13	9781461396871
Verlag	Springer-Verlag New York Inc.
Seitenanzahl	416
Maße	155 × 235 × 22 mm · 612 g
Sprache	Englisch