Z notation
Formal specification language used for describing and modelling computing systems, standardized in ISO 13568
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.
Nº Q1430781 ★
Common · Knowledge
Z notation
Formal specification language used for describing and modelling computing systems, standardized in ISO 13568
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.
From Wikipedia
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.
Text: Wikipédia, CC BY-SA 4.0. · Image: GrahamCracker325 (CC BY-SA 4.0) ·
Related cards
-
.za
Internet country code top-level domain (ccTLD) for South Africa
Nº Q42754 ★★★
Not listed
-
Z
Z-machine
Virtual machine
Nº Q135811 ★
Not listed
-
A
ABC notation
File format family for music notation
Nº Q287067 ★
Not listed
-
Zenzizenzizenzic
Obsolete mathematical notation representing the eighth power of a number
Nº Q539027 ★
Not listed
-
Z1 (computer)
Motor driven mechanical computer built by Konrad Zuse in the 1930's
Nº Q230810 ★★★★
Not listed
-
R (programming language)
Programming language for statistical analysis
Nº Q206904 ★★★★★★
Not listed