Articles liés à Programming with Specifications: Introduction to ANNA...
Programming with Specifications: Introduction to ANNA - a Language for Specifying ADA Programmes - Couverture rigide
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Programming with Specifications: Introduction to ANNA...
Image d'archives
Programming with Specifications. An Introduction to ANNA, a Language for Specifying ADA Programmes
Edité par
Verlag Gachnang & Springer, 1990
ISBN 10 : 3540972544
ISBN 13 : 9783540972549
Ancien ou d'occasion
Couverture rigide
Vendeur : Libro Co. Italia Srl, San Casciano Val di Pesa, FI, Italie
Évaluation du vendeur 5 sur 5 étoiles
Rilegato in Tela. Etat : fine. English Text.Berlin, 1990; clothbound, pp. 432. Libro. N° de réf. du vendeur 3388864
Quantité disponible : 1 disponible(s)