Programming with Specifications. An Introduction to ANNA, a Language for Specifying ADA Programmes
Programming with Specifications. An Introduction to ANNA, a Language for Specifying ADA Programmes | Libri antichi e moderni | Luckham, David
Libri antichi e moderni
Luckham, David
Verlag Gachnang & Springer,
1990
Programming with Specifications. An Introduction to ANNA, a Language for Specifying ADA Programmes
Programming with Specifications. An Introduction to ANNA, a Language for Specifying ADA Programmes | Libri antichi e moderni | Luckham, David
Libri antichi e moderni
Luckham, David
Verlag Gachnang & Springer,
1990
42,75 €
(San Casciano Val di Pesa,
Italia)
Metodi di Pagamento
- PayPal
- Carta di Credito
- Bonifico Bancario
- Pubblica amministrazione
- Carta del Docente
Dettagli
- Anno di pubblicazione
- 1990
- ISBN
- 9783540972549
- Luogo di stampa
- Berlin
- Autore
- Luckham, David
- Pagine
- 432
- Volumi
- 1
- Editori
- Verlag Gachnang & Springer
- Stato di conservazione
- Come nuovo
- Lingue
- Inglese
- Legatura
- Rilegato
- Condizioni
- Usato
Descrizione
English Text. Berlin, 1990; clothbound, pp. 432.
