Systematic Software Development Using Vdm
Jones, Cliff B.
ISBN 10: 0138807337 ISBN 13: 9780138807337
Editore: Pearson Education, Limited, 1990
Usato
Brossura
Da
Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 13 ottobre 2008
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo 54549196-20
Riassunto:
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 "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Systematic Software Development Using Vdm
Casa editrice: Pearson Education, Limited
Data di pubblicazione: 1990
Legatura: Brossura
Condizione: Very Good
Edizione: Subsequent.