Z
En d'autres termes
Zermelo-Fränkel
Définition
Notation formelle utilisée en modélisation et preuve de programmes. Elle repose sur la théorie ensembliste de Zermelo-Fränkeln et fut créée à l'Université d'Oxford. Le plus "important" programme créé en utilisant Z est CICS. Voir "CICS".
Epoque du terme
1980
