Systematic Software Development Using V. D. M.
Summary
The feel-good place to buy books
Systematic Software Development Using V. D. M. by Cliff B Jones
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.| SKU | Unavailable |
| ISBN 13 | 9780138807337 |
| ISBN 10 | 0138807337 |
| Title | Systematic Software Development Using V. D. M. |
| Author | Cliff B Jones |
| Series | Prentice Hall International Series In Computing Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Pearson Education Limited |
| Year published | 1990-01-01 |
| Number of pages | 350 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |