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.
- ISBN10 0138807175
- ISBN13 9780138807177
- Publish Date March 1986
- Publish Status Out of Print
- Out of Print 10 March 1994
- Publish Country GB
- Publisher Longman
- Imprint Longman Higher Education
- Format Paperback
- Pages 300
- Language English