Da
Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 13 ottobre 2008
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
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.
Titolo: Systematic Software Development Using Vdm
Casa editrice: Pearson Education, Limited
Data di pubblicazione: 1990
Legatura: Brossura
Condizione: Very Good
Edizione: Subsequent.