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

Luckham, David

 
9783540972549: Programming with Specifications: Introduction to ANNA - a Language for Specifying ADA Programmes (Texts and Monographs in Computer Science)
Hardcover
ISBN 10: 3540972544 ISBN 13: 9783540972549
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990

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.

Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publication date
1990
Language
English
ISBN 10 
3540972544
ISBN 13 
9783540972549
Binding
Hardcover
Number of pages
432