
Notation Z
langage de spécification formelle utilisé pour décrire et modéliser les systèmes informatiques, normalisé dans ISO 13568

langage de spécification formelle utilisé pour décrire et modéliser les systèmes informatiques, normalisé dans ISO 13568
La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques.
Lire sur Wikipédia · Image PABLOLIZ, CC BY-SA 4.0
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement