Z NOTATION LECTURE NOTES
Jonathan Jacky

These pages look best when this \power and this X are about the same size: \power X. See these viewing tips.

Lectures based on chapters in The Way of Z:

  1. Introduction
  2. Elements
  3. Structure
  4. Logic
  5. Synthesis
  6. State
  7. Schemas and Schema Calculus
  8. Schema Types and Bindings
  9. Formal Reasoning
  10. Modeling Large Systems

Created from these LaTeX source files with the Z2HTML translator.

More Z examples.

Z home page with FAQ and links to publications, tools, and meetings.

Copyright notice

Jonathan Jacky / University of Washington / Seattle, Washington / USA
E-mail: jon@u.washington.edu