The Z notation is a formal language for modelling computer systems.

The Z notation is a formal language for modelling computer systems. It is based on standard mathematical notation for set theory and predicate logic.

External links

history | excerpt history