Anna a Language for Annotating Ada Programs: Reference Manual - Lecture Notes in Computer Science - David Luckham - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540179801 - 15. julija 1987
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Anna a Language for Annotating Ada Programs: Reference Manual - Lecture Notes in Computer Science 1987 edition

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 12. - 22. jun
Dodaj na svoj seznam želja iMusic

This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs.


148 pages, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 15. julija 1987
ISBN13 9783540179801
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 148
Dimenzije 155 × 233 × 8 mm   ·   226 g
Jezik Angleščina  

Več od David Luckham

Prikaži vse

Mere med samme udgiver

Ogled vseh David Luckham ( Na primer Paperback Book )