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.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Systematic Software Development Using VDM (Prentice-Hall...
Stock Image
Systematic Software Development Using Vdm
Published by
Prentice Hall International, 1986
ISBN 10: 0138807256
ISBN 13: 9780138807252
Used
Hardcover
Seller: David's Books, Ypsilanti, MI, U.S.A.
Seller rating 2 out of 5 stars
Hardcover. Condition: Good. Dust Jacket Condition: No Dust Jacket. Unmarked, bumped corner. Seller Inventory # 1000022276
Stock Image
Systematic Software Development Using VDM (Prentice-Hall Series in Signal Processing)
Published by
Prentice Hall International, 1986
ISBN 10: 0138807256
ISBN 13: 9780138807252
New
Hardcover
Seller: BooksByLisa, Highland Park, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: New. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Book. Seller Inventory # 41
Stock Image
Systematic Software Development Using V. D. M.
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-836-192
Buy Used
US$ 8.43
US$ 24.01 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
Quantity: 1 available