Programming with Specifications: An Introduction to ANNA. A Language for Specifying Ada Programs (Monographs in Computer Science) - Hardcover

Luckham, David

 
9783540972549: Programming with Specifications: An Introduction to ANNA. A Language for Specifying Ada Programs (Monographs in Computer Science)
Hardcover
ISBN 10: 3540972544 ISBN 13: 9783540972549
Verlag: Springer Berlin, 1990

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.

Verlag
Springer Berlin
Erscheinungsdatum
1990
Sprache
Englisch
ISBN 10 
3540972544
ISBN 13 
9783540972549
Einband
Gebundene Ausgabe
Anzahl der Seiten
432
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9780387972541: Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0387972544 ISBN 13:  9780387972541
Verlag: Springer, 1990
Hardcover