Skip to content
Register Sign in Wishlist
The Way of Z

The Way of Z
Practical Programming with Formal Methods

CAD$79.95 (P)

  • Date Published: November 1996
  • availability: Available
  • format: Paperback
  • isbn: 9780521559768

CAD$ 79.95 (P)

Add to cart Add to wishlist

Other available formats:

Looking for an examination copy?

This title is not currently available for examination. However, if you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact providing details of the course you are teaching.

Product filter button
About the Authors
  • This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.

    • Discusses when and how to apply formal methods in real projects
    • Broad selection of case studies including safety-critical systems, object-oriented programming, computer graphics, text processing, and databases
    • Teaches how to use Z specifications in real programming languages
    Read more

    Reviews & endorsements

    '… this reviewer cannot imagine a book better suited to inspiring the sceptical hacker into believing that there is some genuine value in formal methods.' R. H. Banach, Axis

    '… most books about Z emphasise the mathematics, … The Way of Z breaks out of this mould to make Z relevant and accessible to all programmers. It is an ideal first or second-year book for students of computing science who want to design and write reliable programs.' Harold Thimbleby, New Scientist

    '… especially good for more advanced students … this book will be inspirational and provide practical guidance to real software engineers.' Computer Journal

    See more reviews

    Customer reviews

    Not yet reviewed

    Be the first to review

    Review was not posted due to profanity


    , create a review

    (If you're not , sign out)

    Please enter the right captcha value
    Please enter a star rating.
    Your review must be a minimum of 12 words.

    How do you rate this item?


    Product details

    • Date Published: November 1996
    • format: Paperback
    • isbn: 9780521559768
    • length: 372 pages
    • dimensions: 233 x 180 x 18 mm
    • weight: 0.64kg
    • availability: Available
  • Table of Contents

    Part I. Why Z?:
    1. Formal methods
    2. Why use formal methods?
    3. Formal methods and project management
    Part II. Introducing Z:
    4. What is Z?
    5. A first example in Z
    6. From prose to Z: control console
    7. Introducing schemas: text editor
    Part III. Elements of Z:
    8. Elements
    9. Structure
    10. Logic
    11. Synthesis
    12. Schemas and schema calculus
    13. Schema types and bindings
    14. Generic definitions and free types
    15. Formal reasoning
    Part IV. Studies in Z:
    16. Document control system
    17. Text processing
    18. Eight queens
    19. Computer graphics and computational geometry
    20. Rule-based programming
    21. Graphical user interface
    22. Safety-critical protection system
    23. Modelling large systems
    24. Concurrency and real time
    25. Object-oriented programming
    Part V. From Z to Code:
    26. Program derivation and formal verification
    27. From Z to code.

  • Author

    Jonathan Jacky, University of Washington

Sign In

Please sign in to access your account


Not already registered? Create an account now. ×

Sorry, this resource is locked

Please register or sign in to request access. If you are having problems accessing these resources please email

Register Sign in
Please note that this file is password protected. You will be asked to input your password on the next screen.

» Proceed

You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner Please see the permission section of the catalogue page for details of the print & copy limits on our eBooks.

Continue ×

Continue ×

Continue ×

Find content that relates to you

Join us online

This site uses cookies to improve your experience. Read more Close

Are you sure you want to delete your account?

This cannot be undone.


Thank you for your feedback which will help us improve our service.

If you requested a response, we will make sure to get back to you shortly.

Please fill in the required fields in your feedback submission.