Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science - David Luckham - Książki - Springer-Verlag New York Inc. - 9781461396871 - 5 stycznia 2012
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

David Luckham
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science Softcover reprint of the original 1st ed. 1990 edition

Cena
zł 219,90

Zamówione z odległego magazynu

Przewidywana dostawa 6 - 16 lis
Świąteczne prezenty można zwracać do 31 stycznia
Otrzymuj powiadomienia o nowych wydawnictwach David Luckham

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 5 stycznia 2012
ISBN13 9781461396871
Wydawcy Springer-Verlag New York Inc.
Strony 416
Wymiary 155 × 235 × 22 mm   ·   612 g
Język Angielski  

Więcej od David Luckham

Pokaż wszystko

Więcej od tego samego wydawcy

Zobacz wszystko od David Luckham