Articoli correlati a Systematic Software Development Using Vdm
Sinossi
A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Systematic Software Development Using Vdm
Foto dell'editore
Systematic Software Development Using Vdm (Prentice-hall International Series in Computer Science)
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Codice articolo GOR001510392
Compra usato
EUR 3,95
Spedizione EUR 6,63
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Systematic Software Development Using Vdm (Prentice-hall International Series in Computer Science)
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. Zustand: Gut | Seiten: 350 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Codice articolo 38615772/3
Compra usato
EUR 13,10
Spedizione EUR 105,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili