Notation Z
Sign in to saveformal specification language used for describing and modelling computing systems
Article · Français
La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques.
Abstract from DBpedia / Wikipedia · CC BY-SA