Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Toccata
CEPROMI

Subvention
Mars 2008 - Déc. 2009

Equipe : Toccata
Responsable : MARCHÉ Claude

Gestionnaire : 
Organisme gérant : INRIA

Certification de Programmes Manipulant la Mémoire



Activités de recherche
  Preuve de programme
  Programmation fonctionnelle
  Programmation orientée objet

Membres LRI
FILLIÂTRE Jean-Christophe


Pour en savoir plus : http://www.lri.fr/cepromi/index.php/Accueil
Contrats
° SESAME DIGIPODS UPS
INTERACTION COLLABORATIVE à DISTANCE ENTRE PLATEFORMES DE VISUALISATION HéTéROGèNES
REGION IDF

° NEXT
NEXT