LA SAGA DES INGÉNIEURS JOSEPH SIFAKIS EN 1982, IL INVENTE LE MODEL CHECKING

Publié le 01/02/2009

Sujets relatifs :

Sommaire, HORIZONS

Cette révolution conceptuelle rend l'informatique plus fiable.

vous lisez un article d'Industries & Technologies N°0908

Découvrir les articles de ce numéro Consultez les archives 2009 d'Industries & Technologies

Bienvenue !

Vous êtes désormais inscrits. Vous recevrez prochainement notre newsletter hebdomadaire Industrie & Technologies

Nous vous recommandons

audiovisuel

LE NUMÉRIQUE LIBÈRE L'IMAGE 3DDéjà utilisée pour la CAO et la simulation en réalité virtuelle, l'image en relief trouve une nouvelle dynamique par le[…]

01/04/2009 | Sommaire, PERSPECTIVES

Informatique

Production

production

Plus d'articles