Software development: A rigorous approach

By Cliff B. Jones

Book Overview

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,... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0138218846
• ISBN13: 9780138218843
• Release Date: January 1980
• Publisher: Prentice/Hall International
• Length: 382 Pages
• Weight: 1.01 lbs.