Nous suivre Industrie Techno

... Félicité Joseph Sifakis.

Sujets relatifs :

Le directeur de recherche au CNRS vient de se voir décerner le Prix Turing 2007, l'équivalent du Prix Nobel pour l'informatique. Joseph Sifakis est le premier Français

à obtenir ce prix depuis sa création, en 1966. Il est récompensé - ainsi qu'une équipe américaine - pour avoir mis au point le Model Checking, une technologie de vérification des systèmes complexes très largement utilisée dans les industries du logiciel et du matériel.

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

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

Bienvenue !

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

Nous vous recommandons

... décidé d'envoyer son vieil immeuble au tri sélectif.

... décidé d'envoyer son vieil immeuble au tri sélectif.

La société japonaise Kajima s'est spécialisée dans le démontage, étage après étage, des bâtiments. Là où la plupart des entrepreneurs font appel à la[…]

01/04/2009 |
... découvert que la 11e puissance du monde avait pour capitale Boston, Massachussetts.

... découvert que la 11e puissance du monde avait pour capitale Boston, Massachussetts.

... posé un lapin aux passionnés d'Opéra.

... posé un lapin aux passionnés d'Opéra.

... arrêté de se lever du pied gauche,

... arrêté de se lever du pied gauche,

Plus d'articles