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

SNIA

Storage Network Industry Association

in | |

Consortium de fabricants de stockage. Voir modèle SNIA. 

Syndiquer le contenu

Dernières définitions

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

Un mot au hasard

XMLNews-Meta  

Alertes CERTA