Artículos relacionados a Programming with Specifications: Introduction to ANNA...
Programming with Specifications: Introduction to ANNA - a Language for Specifying ADA Programmes (Texts and Monographs in Computer Science) - Tapa dura
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.
Resultados de la búsqueda para Programming with Specifications: Introduction to ANNA...
Imagen de archivo
Programming with Specifications. An Introduction to ANNA, a Language for Specifying ADA Programmes
Publicado por
Verlag Gachnang & Springer, 1990
ISBN 10: 3540972544
ISBN 13: 9783540972549
Antiguo o usado
Tapa dura
Librería: Libro Co. Italia Srl, San Casciano Val di Pesa, FI, Italia
Calificación del vendedor: 5 de 5 estrellas
Rilegato in Tela. Condición: fine. English Text.Berlin, 1990; clothbound, pp. 432. Libro. Nº de ref. del artículo: 3388864
Cantidad disponible: 1 disponibles