Systematic Software Development Using V. D. M. (Prentice-Hall International series in computer science)

Name: Systematic Software Development Using V. D. M. (Prentice-Hall International series in computer science)
Author: Cliff B. Jones
ISBN: 9780138807177

Author Cliff B. Jones

Publisher Longman Higher Education

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

Price not listed

🛒 Buy New on Amazon 🇺🇸 🏷 Buy Used — $2.09

Book Details

Author(s)Cliff B. Jones

PublisherLongman Higher Education

ISBN / ASIN0138807175

ISBN-139780138807177

Sales Rank5,648,212

MarketplaceUnited States 🇺🇸

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.