Z notation
Formal specification language used for describing and modelling computing systems
Z notation
The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.
Read on Wikipedia · Image GrahamCracker325, CC BY-SA 4.0
Open boosters, collect cards and trade them. Free to play.
Play for free