Bases théoriques de l'informatique - Grenoble INP - Ensimag
Formation
Rechercher
Bases théoriques de l'informatique
| Première année | ||
| - 3MMTL1:Théorie des langages 1 | 3.0 | 72.0 |
| - 3MMTL2:Théorie des langages 2 | 3.0 | 36.0 |
| Deuxième année | ||
| - 4MMFLI:Fondements logiques pour l'informatique | 3.0 | 36.0 |
| - 4MMLOG2:Logiques appliquées au traitement de l'information | 2.5 | 36.0 |
| - 4MMSAP:Sémantique et analyse des programmes | 2.5 | 54.0 |
| - 4MMTLCMN:Théorie des languages et compilation - mise à niveau | 1.5 | 18.0 |
| Troisième année | ||
| - 5MMVSE:Validation des systèmes embarqués | 2.0 | 18.0 |
| - 5MMMVSCT:Modélisation et vérification des systèmes concurrents et temps réel | 1.75 | 18.0 |
École nationale supérieure d'informatique et de mathématiques appliquées
681, rue de la passerelle - Domaine universitaire - BP 72 - 38402 SAINT MARTIN D'HERES Copyright Grenoble INP
681, rue de la passerelle - Domaine universitaire - BP 72 - 38402 SAINT MARTIN D'HERES Copyright Grenoble INP