Systematic Software Development Using V. D. M. (Prentice-Hall International series in computer science)
Book Details
Author(s)
Cliff B. Jones
Publisher
Prentice-Hall
ISBN / ASIN
0138807256
ISBN-13
9780138807252
Sales Rank
#11,546,867
Marketplace
United States 🇺🇸
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
Description
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.
