Systematic Software Development Using Vdm. Questo articolo non è disponibile.
9 valutazioni di Goodreads
Lingua: inglese
Editore: Pearson Education, Limited, 1990
- Brossura
- Usato

Da: Better World Books: West, Reno, NV, U.S.A.Better World Books: West
Venditore con 5 stelle
Venditore AbeBooks dal 14 marzo 2016
Non disponibile
Brossura
Condizione: Usato - Molto buono
EUR 42,19
Descrizione dell’articolo da parte del venditore
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
- Titolo
- Systematic Software Development Using Vdm
- Autore
- Jones, Cliff B.
- Editore
- Pearson Education, Limited
- Anno di pubblicazione
- 1990
- Condizione
- Very Good
- Rilegatura
- Brossura
- Lingua
- inglese
- ISBN 10
- 0138807337
- ISBN 13
- 9780138807337
- Edizione
- Subsequent.
- Peso dell'articolo
- 2 libbre
- Dimensioni
- N/A
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.
"Riassunto" può appartenere a un’altra edizione di questo titolo.