Il y a 8 Résultats pour : "langage fonctionnel"
- COQ - Spécifications et preuves de programmes
- LANDE - Conception et validation de logiciels
- MEIJE - Parallélisme, Synchronisation et Temps-Réel
- MIMOSA - Migration et mobilité : sémantique et applications
- MOSCOVA - Mobilité, sécurité, concurrence, vérification et analyse
- SAFIR - Systèmes algébriques formels pourl'industrie et la recherche
- SOLIDOR - Construction de systèmes et d'applications distribués
- TICK - Etude et implémentation des systèmes réactifs synchrones
Inria
Inria.fr
Inria Channel