Z notation
![An example of a formal specification (in Spanish) using the Z notation.](/Images/godic/202502/22/Agendacumple_en_Z5610.jpg")
The Z notation /ˈzɛd/ 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.
Z notation
英语百科
- toner concentrate
- toner concentration
- toner container
- tonerde
- toner dispense gear
- tone recognition
- tone reduciton
- toner empty sensor
- tone rendering
- Tone reproduction
- tone reversal
- toner image
- tone ringer
- tone ringing current
- Tone River
- toner layer potential
- toner low
- toner mark
- toner metering roller
- toner migration
- toner offset
- Tone row
- toner paerts
- toner particles
- toner particles, magnetic