Z notation

formal specification language used for describing and modelling computing systems

en-GB/zɛd nəʊˈteɪʃən/
en-US/ˈzi noʊˈteɪʃən/

الفئات:

notation