Z notation

formal specification language used for describing and modelling computing systems

Категорії: