Articoli correlati a Programming with Specifications: Introduction to ANNA...
Programming with Specifications: Introduction to ANNA - a Language for Specifying ADA Programmes - Rilegato
Sinossi
This monograph provides an introduction to ANNA, a language for the specification of programs written in Ada. The text includes suggestions for the interpretation of package specifications and processes for consistent implementation of packages.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by Luckham David
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Programming with Specifications: Introduction to ANNA...
Foto dell'editore
Programming with Specifications. An Introduction to ANNA, a Language for Specifying ADA Programmes
Editore:
Verlag Gachnang & Springer, 1990
ISBN 10: 3540972544
ISBN 13: 9783540972549
Antico o usato
Rilegato
Da: Libro Co. Italia Srl, San Casciano Val di Pesa, FI, Italia
Valutazione del venditore 5 su 5 stelle
Rilegato in Tela. Condizione: fine. English Text.Berlin, 1990; clothbound, pp. 432. Libro. Codice articolo 3388864
Quantità: 1 disponibili