Articoli correlati a Programming with Specifications: Introduction to ANNA...

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

Luckham, David

 
9783540972549: Programming with Specifications: Introduction to ANNA - a Language for Specifying ADA Programmes
Rilegato
ISBN 10: 3540972544 ISBN 13: 9783540972549
Casa editrice: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Luckham David

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Data di pubblicazione
1990
Lingua
Inglese
ISBN 10 
3540972544
ISBN 13 
9783540972549
Rilegatura
Copertina rigida
Numero di pagine
432
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Compra usato

Condizioni: ottimo
English Text.Berlin, 1990; clothbound...
Visualizza questo articolo
9783540972549: Programming with Specifications: Introduction to ANNA - a Language for Specifying ADA Programmes
EUR 42,75

Convertire valuta

EUR 21,00 per la spedizione da Italia a U.S.A.

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  0387972544 ISBN 13:  9780387972541
Casa editrice: Springer-Verlag New York Inc, 1991
Rilegato

Risultati della ricerca per Programming with Specifications: Introduction to ANNA...

Foto dell'editore

Luckham, David
ISBN 10: 3540972544 ISBN 13: 9783540972549
Antico o usato Rilegato

Da: Libro Co. Italia Srl, San Casciano Val di Pesa, FI, Italia

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Rilegato in Tela. Condizione: fine. English Text.Berlin, 1990; clothbound, pp. 432. Libro. Codice articolo 3388864

Contatta il venditore

Compra usato

EUR 42,75
Convertire valuta
Spese di spedizione: EUR 21,00
Da: Italia a: U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello