Systematic Software Development Using Vdm
Jones, Cliff B.
ISBN 10: 0138807256 ISBN 13: 9780138807252
Published by Prentice Hall International, 1986
Used
Hardcover
From
David's Books, Ypsilanti, MI, U.S.A.
Seller rating 2 out of 5 stars
AbeBooks Seller since July 13, 2011
This specific item is no longer available.
About this Item
Description:
Unmarked, bumped corner. Seller Inventory # 1000022276
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 this title" may belong to another edition of this title.
Bibliographic Details
Title: Systematic Software Development Using Vdm
Publisher: Prentice Hall International
Publication Date: 1986
Binding: Hardcover
Condition: Good
Dust Jacket Condition: No Dust Jacket
Top Search Results from the AbeBooks Marketplace
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$ 6.90
US$ 23.51 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
Quantity: 1 available
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 4 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