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

 
9783540972549: Programming with Specifications: Introduction to ANNA - a Language for Specifying ADA Programmes (Texts and Monographs in Computer Science)

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

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.

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie kennen Autor und Titel des Buches und finden es trotzdem nicht auf ZVAB? Dann geben Sie einen Suchauftrag auf und wir informieren Sie automatisch, sobald das Buch verfügbar ist!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

9780387972541: Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs (Texts & Monographs in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0387972544 ISBN 13:  9780387972541
Verlag: Springer-Verlag New York Inc, 1991
Hardcover