Il y a 9 Résultats pour : "typage"
- COQ - Spécifications et preuves de programmes
- CRISTAL - Programmation typée, modularité et compilation
- EXMO - Echanges de connaissance structurée médiatisés par ordinateur
- HELIX - Informatique et génomique
- INDES - Programmation diffuse et sécurisée
- PARKAS - Parallélisme de Kahn Synchrone
- ROMANS - Relations et objets pour la modélisation du numérique et du symbolique
- SAFIR - Systèmes algébriques formels pourl'industrie et la recherche
- SHERPA - modèles et bases de connaissances à objets
Inria
Inria.fr
Inria Channel