Systematic Software Development Using V. D. M. by Cliff B. Jones
Unfortunately we do not have a summary for this item at the moment
Systematic Software Development Using V. D. M.
Systematic Software Development Using V. D. M.
£3.49
Condition - Very Good
Out of stock
Summary
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.
Systematic Software Development Using V. D. M. Summary
Table of Contents
Logic of propositions; reasoning about predicates; functions and operations; set notation; composite objects and invariants; map notation; sequence notation; data rectification; more on data types; operation decomposition; a small case study.
Additional information
GOR001510392
9780138807337
0138807337
Systematic Software Development Using V. D. M. by Cliff B. Jones
Used - Very Good
Paperback
Pearson Education Limited
19900101
350
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us