Skip to content
Scan a barcode
Scan
Paperback Systematic Software Development Using VDM Book

ISBN: 0138807337

ISBN13: 9780138807337

Systematic Software Development Using VDM

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.

Recommended

Format: Paperback

Condition: Very Good*

*Best Available: (ex-library)

$10.19
Save $37.01!
List Price $47.20
Almost Gone, Only 1 Left!

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured