Accueil
>
Production scientifique
>
Tous les contrats
> Contrat
Présentation
Equipes
Collaborations
Production scientifique
Résultats majeurs
Contrats
Logiciels & Brevets
Thèses et habilitations
Publications du LRI
Publications internes
Recrutements
Formation
Informations pratiques
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
> tous les contrats
