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
英语百科
- tomkinsons
- tomkiss
- tomkisses
- Tomko
- Tomkys
- Tomlin
- Tomling
- Tomlin, Lily
- Tomlins
- Tomlinson
- Tomlinson College
- Tomlinson coupling
- Tomlinson, Henry Major
- Tomlinsonian
- Tomlinson, Ricky
- Tom Long
- Tom Long the carrier
- tomm
- Tomma
- Tommaselli disease
- Tommaselli syndrome
- tommasello
- tommasi leadrefining process
- tommasi lead refining process
- tommasini