What do you think?
Rate this book
Systematic Software Development Using V. D. M. (Prentice-Hall International series in computer science) 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.
Mass Market Paperback
First published February 1, 1980
10 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
Displaying 1 of 1 review
May 2, 2020
I have had this book on my shelf for many years. I got stuck into it whilst at home and couldn’t believe how wonderful it is. Clarity is brilliant. My only surprise is why it isn’t more well know and then why it isn’t referenced more.
Displaying 1 of 1 review