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.
Read More
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.
Read Less
Add this copy of Systematic Software Development Using Vdm to cart. $11.75, good condition, Sold by David's Books rated 3.0 out of 5 stars, ships from ypsilanti, MI, UNITED STATES, published 1986 by Prentice Hall International.
Add this copy of Systematic Software Development Using Vdm (Prentice to cart. $20.10, new condition, Sold by Chidoc5 Rare Books rated 4.0 out of 5 stars, ships from Highland Park, IL, UNITED STATES, published 1986 by Prentice Hall International.
Add this copy of Systematic Software Development Using Vdm (Prentice to cart. $48.92, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1990 by Prentice Hall.
Add this copy of Systematic Software Development Using V. D. M. to cart. $51.38, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1986 by Prentice-Hall.
