Systematic Software Development Using V. D. M. (Prentice-Hall International series in computer science)
Price not available for France
You can still browse on Amazon. Try another country above.
Book Details
Author(s)
Cliff B. Jones
Publisher
Prentice-Hall
ISBN / ASIN
0138807256
ISBN-13
9780138807252
Marketplace
France 🇫🇷
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.
