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.
Altre edizioni note dello stesso 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: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.6. Codice articolo G0138807337I3N00
Quantità: 1 disponibili
Immagini fornite dal venditore
Systematic Software Development Using Vdm (Prentice-Hall International Series in Computer Science)
Editore:
Prentice-Hall 01.04.1990., 1990
ISBN 10: 0138807337
ISBN 13: 9780138807337
Antico o usato
Brossura
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. Auflage: 2 Sub. 350 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 396 23,2 x 17,4 x 1,8 cm, Taschenbuch. Codice articolo 377358
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. Codice articolo 38615772/3
Quantità: 1 disponibili
Foto dell'editore
Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing 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
Quantità: 1 disponibili
Foto dell'editore
Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science)
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Fair. A readable copy of the book which may include some defects such as highlighting and notes. Cover and pages may be creased and show discolouration. Codice articolo GOR002849933
Quantità: 1 disponibili