Verwandte Artikel zu 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
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Programming with Specifications: Introduction to ANNA...
Beispielbild für diese ISBN
Programming with Specifications. An Introduction to ANNA, a Language for Specifying ADA Programmes
Verlag:
Verlag Gachnang & Springer, 1990
ISBN 10: 3540972544
ISBN 13: 9783540972549
Gebraucht
Hardcover
Anbieter: Libro Co. Italia Srl, San Casciano Val di Pesa, FI, Italien
Verkäuferbewertung 5 von 5 Sternen
Rilegato in Tela. Zustand: fine. English Text.Berlin, 1990; clothbound, pp. 432. Libro. Bestandsnummer des Verkäufers 3388864
Anzahl: 1 verfügbar