Items related to Systematic Software Development Using V. D. M. (Prentice...
Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science) - Softcover
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.
Search results for Systematic Software Development Using V. D. M. (Prentice...
Stock Image
Systematic Software Development Using Vdm (Prentice-hall International Series in Computer Science)
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR001510392
Buy Used
£ 3.24
£ 5.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Systematic Software Development Using Vdm (Prentice-hall International Series in Computer Science)
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Gut. Zustand: Gut | Seiten: 350 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 38615772/3