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
Editore:
Pearson Education, Limited, 1990
ISBN 10: 0138807337
ISBN 13: 9780138807337
Antico o usato
Brossura
Da: Better World Books: West, Reno, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Subsequent. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo 57653808-75
Compra usato
EUR 45,25
Spedizione gratuita
Spedito in U.S.A.
Spedito in 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 8,94
Spedizione EUR 105,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili