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

Luckham, David

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

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Año de publicación
1990
Idioma
Inglés
ISBN 10 
3540972544
ISBN 13 
9783540972549
Encuadernación
Tapa dura
Número de páginas
432
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  0387972544 ISBN 13:  9780387972541
Editorial: Springer-Verlag New York Inc, 1991
Tapa dura