Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

The Z notation: a reference manual

19922,897 citationsBook

Authors

Justin M Spivey · University of Oxford

Abstract

Tutorial introduction background the Z language the mathematical tool-kit sequential systems syntax summary.

Topics & Keywords

Simulation Techniques and Applications

UN Sustainable Development Goals

Quality Education

Publication Details

Field-Weighted Citation Impact: 75.62

The Z notation: a reference manual | Researchclopedia