The Way of Z
Practical Programming with Formal Methods

Jonathan Jacky
University of Washington

Cover illustration

The Way of Z: Practical Programming with Formal Methods
Jonathan Jacky, Cambridge University Press, 1997
ISBN 0-521-55976-6 (pbk., $35.00/£22.95), ISBN 0-521-55041-6 (hbk., $95.00/£60.00)

Some excerpts from the book:

  • Contents
  • What is Z?
  • Control console (finite state machine)
  • Document control system
  • Text processing
  • Glossary of Z notation
  • The Z mathematical tool-kit

    • Some lecture notes based on the book:

    Other material:

  • Errata

    • Publisher's web page for the book, with excerpts from each chapter.

    Other pages about the radiation therapy machine case study in the book