Systematic Software Development Using Vdm (Prentice-Hall International Series in Computer Science)
Type
Book
Authors
ISBN 10
0138807337
ISBN 13
9780138807337
Category
Circulation
[ Browse Items ]
Publication Year
1990
Publisher
Prentice Hall, United States
Pages
350
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. - from Amzon
Number of Copies
1
