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 (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 VDM (Prentice-Hall Series in Signal Processing)
Published by
Prentice Hall International, 1986
ISBN 10: 0138807256
ISBN 13: 9780138807252
Used
Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail. Seller Inventory # OTV.0138807256.VG
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$ 7.39
US$ 19.18 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
Quantity: 1 available