Programming with Specifications: Introduction to ANNA - a Language for Specifying ADA Programmes - Couverture rigide

Luckham, David

 
9783540972549: Programming with Specifications: Introduction to ANNA - a Language for Specifying ADA Programmes
Couverture rigide
ISBN 10 : 3540972544 ISBN 13 : 9783540972549
Editeur : 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
1990
Langue
anglais
ISBN 10 
3540972544
ISBN 13 
9783540972549
Reliure
Relié
Nombre de pages
432
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780387972541: Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs

Edition présentée

ISBN 10 :  0387972544 ISBN 13 :  9780387972541
Editeur : Springer-Verlag New York Inc, 1991
Couverture rigide