Z

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

Get started with Drupal 7

Marques les plus citées

toutes les marques

acheter sur OSInet

Accès direct

Recherche

Le mot du jour

EASY

Evaluating and Architecting System dependabilitY

in | |

Atelier sur la fiabilité des systèmes informatiques, sponsorisée par l'IEEE CS et l'IFIP. 

Syndiquer le contenu

Dernières définitions

Chrome - Chromium - digitaalisen kuilun - ghetto sharding - HTTP - MongoDB - PNaCl - QUIC - Skia - SPDY

Un mot au hasard

B2B2C : Business to Business to Consumer  

Alertes CERTA