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
  • Other pages about Z and formal methods

    Publisher's pages about the paperback (USA, UK), hardcover (USA, UK)

    Other pages about the publisher USA, UK

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