Items related to Introduction to Formal Specification with Z and VDM...
Introduction to Formal Specification with Z and VDM (McGraw-Hill International Series in Software Engineering) - Softcover
Formal methods emphasize the correct and efficient development of software. This text puts formal specification in the context of traditional methods of software development, including object-orientation, introducing these concepts and the necessary discrete maths, before moving on to look at both Z and VDM in depth, using the case study of a drinks dispensing machine.
"synopsis" may belong to another edition of this title.
- PublisherMcGraw-Hill Publishing Co.
- Publication date1994
- ISBN 10 0077079078
- ISBN 13 9780077079079
- BindingPaperback
- Number of pages398
Top Search Results from the AbeBooks Marketplace
Stock Image
Introduction to Formal Specification with Z and VDM (McGraw-Hill International Series in Software Engineering)
Published by
McGraw-Hill Book Co Ltd
ISBN 10: 0077079078
ISBN 13: 9780077079079
Used
Paperback
Quantity: 1
Seller:
Rating
Book Description 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 # GOR004041042
Buy Used
£ 13.34
Convert currency
Stock Image
An Introduction to Formal Specification With Z and Vdm
Published by
McGraw-Hill Publishing Co.
(1994)
ISBN 10: 0077079078
ISBN 13: 9780077079079
Used
Softcover
Quantity: 1
Seller:
Rating
Book Description Softcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # D-485-873
Buy Used
£ 22.56
Convert currency