Notation ZDe Wikipedia, l'encyclopédie encyclopedia La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques. Exemple de spécification dans le langage z formel
La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques. Exemple de spécification dans le langage z formel