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
Buy New
Learn more about this copy
£ 37.37
Shipping:
£ 3.19
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
An Introduction to Formal Specification With Z and Vdm
Published by
The McGraw-Hill Company
ISBN 10: 0077079078
ISBN 13: 9780077079079
New
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. pp. xvii + 398 Index 1st Edition. Seller Inventory # 2650368758
Buy New
£ 37.37
Convert currency
Stock Image
An Introduction to Formal Specification With Z and Vdm
Published by
The McGraw-Hill Company
ISBN 10: 0077079078
ISBN 13: 9780077079079
New
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. pp. xvii + 398 Illus. Seller Inventory # 58142505
Buy New
£ 38.02
Convert currency