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

Bienvenue !

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

Nous vous recommandons

ÉVÉNEMENT

GOOGLE RELANCE LINUX DANS LE MOBILEL'arrivée des premiers téléphones équipés d'Android, le système d'exploitation à base de Linux développé par le[…]

01/04/2009 | Sommaire, ALERTES