Delivery included to the United States

Systematic Software Development Using VDM

Systematic Software Development Using VDM

2nd Edition

Paperback (01 Jan 1990)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

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.

About the Publisher

Prentice Hall

Book information

ISBN: 9780138807337
Publisher: Prentice Hall
Imprint: Prentice Hall
Pub date:
Edition: 2nd Edition
DEWEY: 001.6425
DEWEY edition: 18
Number of pages: 333
Weight: 521g
Height: 241mm
Width: 177mm
Spine width: 19mm