Items related to Systematic Software Development Using Vdm (Prentice-hall...
Systematic Software Development Using Vdm (Prentice-hall International Series in Computer Science) - Softcover
Synopsis
A practical guide to software development using VDM, 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
Pearson Education, Limited, 1990
ISBN 10: 0138807337
ISBN 13: 9780138807337
Used
Softcover
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Subsequent. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 54549196-20
Buy Used
US$ 16.38
US$ 6.76 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
Buy Used
US$ 10.62
US$ 121.24 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available