FORSV : Forum de Sciences et de Vie
Vous souhaitez réagir à ce message ? Créez un compte en quelques clics ou connectez-vous pour continuer.
FORSV : Forum de Sciences et de Vie

Forum scientifique
 
AccueilAccueil  GalerieGalerie  RechercherRechercher  Dernières imagesDernières images  S'enregistrerS'enregistrer  Connexion  
Le Deal du moment : -55%
Coffret d’outils – STANLEY – ...
Voir le deal
21.99 €

FORSV : Forum de Sciences et de Vie :: Sciences :: Informatique
 

 Prix Turing

Aller en bas 
AuteurMessage
pem




Nombre de messages : 912
Date d'inscription : 08/02/2007

Prix Turing Empty
MessageSujet: Prix Turing   Prix Turing Icon_minitimeVen 8 Fév - 15:07
Je découvre l'existence de ce prix attribué à un chercheur pour une contribution en informatique.

Le lauréat 2007 est un français pour le Model Checking, méthode algorithmique de vérification des systèmes complexes.

Quelqu'un sait-il de quoi il s'agit ?

PeM
Revenir en haut Aller en bas
 
Prix Turing
Revenir en haut 
Page 1 sur 1
 Sujets similaires
-
» Alan Turing
» prix de la came
» Prix a la pompe
» Prix Nobel ?
» Hausse des prix

Permission de ce forum:Vous ne pouvez pas répondre aux sujets dans ce forum
FORSV : Forum de Sciences et de Vie :: Sciences :: Informatique-
Sauter vers: