Theoretical computer science - Grenoble INP - Ensimag
Search
Theoretical computer science
| First year (bachelor) | ||
| - 3MMTL1:FORMAL LANGUAGE THEORY 1 | 3.0 | 72.0 |
| - 3MMTL2:LANGUAGE THEORY 2 | 3.0 | 36.0 |
| Second year (master 1) | ||
| - 4MMFLI:Logic bases for computer science | 3.0 | 36.0 |
| - 4MMLOG2:Applied logics for information processing | 2.5 | 36.0 |
| - 4MMSAP:SEMANTICS AND PROGRAM ANALYSIS | 2.5 | 54.0 |
| - 4MMTLCMN:Language theory and Compilers - Level upgrade | 1.5 | 18.0 |
| Third year (master 2) | ||
| - 5MMVSE:VALIDATION OF EMBEDDED SYSTEMS | 2.0 | 18.0 |
| - 5MMMVSCT:MODELING AND VERIFICATION OF CONCURRENT AND REAL-TIME SYSTEMS | 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