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.
Other Popular Editions of the Same 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: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.6. Seller Inventory # G0138807337I3N00
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. Seller Inventory # 38615772/3
Quantity: 1 available
Seller Image
Systematic Software Development Using Vdm (Prentice-Hall International Series in Computer Science)
Published by
Prentice-Hall 01.04.1990., 1990
ISBN 10: 0138807337
ISBN 13: 9780138807337
Used
Softcover
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Condition: Gut. Auflage: 2 Sub. 350 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 396 23,2 x 17,4 x 1,8 cm, Taschenbuch. Seller Inventory # 377358
Quantity: 1 available
Stock Image
Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing 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
Quantity: 1 available
Stock Image
Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science)
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Fair. A readable copy of the book which may include some defects such as highlighting and notes. Cover and pages may be creased and show discolouration. Seller Inventory # GOR002849933
Quantity: 1 available