Your basket is currently empty
Free UK delivery to stores and on orders over £20.00
Formal Object Oriented Specification Using Object-Z: (Cornerstones Of Computing)
by Gordon Rose and Roger Duke
£39.99
- Paperback book
- Dispatched within 14 days
- Free UK delivery
Would you prefer a different copy or edition?
Formal Object Oriented Specification Using Object-Z: (Cornerstones Of Computing)
This text presents techniques for the precise description of software or systems using the object-oriented formal specification language, Object-Z. It includes numerous and varied case studies to illustrate the techniques and language of object-oriented formal specification and illustrates the key role of formal specification in formal verification and in implementation. Although primarily intended for safety-critical or complex software development, formal specification also has wide application in hardware or general system description.
Top reviews
What's your view? Write a review for Formal Object Oriented Specification Using Object-Z: (Cornerstones Of Computing)
- ISBN
9780333801239
- Published
- June 6th 2000 by Palgrave Macmillan
- Category
- Object-Oriented Programming (OOP)
- Number of pages
- 240
- County of origin
- UNITED KINGDOM
- Dimensions
- 246 x 190
Borders UK LtdRegistered office: 120 Charing Cross Road, London WC2H 0JR
VAT No: 6500723719
