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 & TechnologiesLA SAGA DES INGÉNIEURS JOSEPH SIFAKIS EN 1982, IL INVENTE LE MODEL CHECKING
Les plus lus
- 1Exclusif : Découvrez notre classement 2021 des écoles d’ingénieurs
- 2Classement 2021 : les meilleures écoles d’ingénieurs pour la recherche
- 3Classement 2021 : les meilleures écoles d’ingénieurs pour créer son entreprise
- 4Variants : l’impact des mutations de la protéine Spike sur l’immunité au Covid-19 en 3 questions
- 5Baisser le seuil de détection des tests RT-PCR du Covid-19 pour mieux dépister les individus contagieux
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[…]
audiovisuel
Informatique