Anna a Language for Annotating Ada Programs: Reference Manual - Lecture Notes in Computer Science - David Luckham - Knihy - Springer-Verlag Berlin and Heidelberg Gm - 9783540179801 - 15. júla 1987
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 52,99

Objednané zo vzdialeného skladu

Očakávané doručenie 12. - 22. jún
Pridať do vášho zoznamu prianí na 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

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 15. júla 1987
ISBN13 9783540179801
Vydavatelia Springer-Verlag Berlin and Heidelberg Gm
Strany 148
Rozmery 155 × 233 × 8 mm   ·   226 g
Jazyk Angličtina  

Viac od David Luckham

Zobraziť všetko

Mere med samme udgiver