Formal Object Oriented Specification Using Object-Z (Cornerstones of computing) Book + PRICE WATCH * Amazon pricing is not included in price watch

Formal Object Oriented Specification Using Object-Z (Cornerstones of computing) Book

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.Read More

from£N/A | RRP: £44.99
* Excludes Voucher Code Discount Also available Used from £N/A
  • 0333801237
  • 9780333801239
  • Gordon Rose, Roger Duke
  • 6 June 2000
  • Palgrave Macmillan
  • Paperback (Book)
  • 240
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.