Items related to Programming with Specifications: Introduction to ANNA...
Programming with Specifications: Introduction to ANNA - a Language for Specifying ADA Programmes (Texts and Monographs in Computer Science) - Hardcover
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.
"synopsis" may belong to another edition of this title.
Search results for Programming with Specifications: Introduction to ANNA...
Stock Image
Programming with Specifications. An Introduction to ANNA, a Language for Specifying ADA Programmes
Published by
Verlag Gachnang & Springer, 1990
ISBN 10: 3540972544
ISBN 13: 9783540972549
Used
Hardcover
Seller: Libro Co. Italia Srl, San Casciano Val di Pesa, FI, Italy
Seller rating 5 out of 5 stars
Rilegato in Tela. Condition: fine. English Text.Berlin, 1990; clothbound, pp. 432. Libro. Seller Inventory # 3388864
Quantity: 1 available