Z
Z notation
Formal specification language used for describing and modelling computing systems, standardized in ISO 13568
Also known as ISO 13568
- Instance of
Overview
All data
10 statements · 40% with external sources · numbers in brackets are citations
On other databases
9 identifiers linking Z notation across the web's reference databases