The Way of Z: Practical Programming with Formal Methods Book + PRICE WATCH * Amazon pricing is not included in price watch

The Way of Z: Practical Programming with Formal Methods Book

A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.Read More

from£N/A | RRP: £27.99
* Excludes Voucher Code Discount Also available Used from £N/A
  • Book Description

    This self-contained tutorial on Z, a formal notation for modeling, specifying and designing computer systems and software, presents realistic case studies emphasizing safety-critical systems. It includes exercises with solutions, reference materials and a guide to further reading.

  • 0521559766
  • 9780521559768
  • Jonathan Jacky
  • 28 November 1996
  • Cambridge University Press
  • Paperback (Book)
  • 367
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.