[email protected]
Risponderemo entro 24 ore
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 €
Punto BRT 7.99 €
DHL 7.99 €
HR Parcel 7.49 €
GLS 3.99 €
Contatto
Come acquistare
Aiuto
Consegna
BRT 7.99 €
Punto BRT 7.99 €
DHL 7.99 €
HR Parcel 7.49 €
GLS 3.99 €
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
Guida all'acquisto
Siamo qui per te!
[email protected]
Il mio account
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi.
Crea un account gratuito
▸
Vuoto :-(
0
FM 99 - Formal Methods
Lingua
Inglese
Inglese
Libro
In brossura
The second of two volumes of proceedings of the World Congress on Formal Methods in the Development...
Descrizione completa
Codice Libristo: 08908917
?
339 b
339 b
143.32
€
Magazzino esterno in piccole quantità
Inviamo tra 13-16 giorni
30 giorni per il reso
Potrebbe interessarti anche
/
In brossura
52.44
€
The second of two volumes of proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM '99). Topical sections include program verification, integration of notation and techniques, open information systems, co-design, refinement, safety and avionics.
Informazioni sul libro
Titolo completo
FM 99 - Formal Methods
Autore
Jeannette M. Wing, Jim Woodcook, Jim Davies
Lingua
Inglese
Inglese
Rilegatura
Libro - In brossura
Data di pubblicazione
1999
Numero di pagine
960
EAN
9783540665885
ISBN
9783540665885
Codice Libristo
08908917
Casa editrice
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso
1419
Dimensioni
156 x 234 x 48
