INFO5171 : Algebraic methods and program correctness, graphs and automata
- Responsable(s) :
-
- Aurelien Garivier
- Enseignant(s) :
-
- Damien Pous
- Georg Struth
- Amina Doumane
Niveau
M2
Discipline
Informatique
ECTS
5.00
Période
1e semestre
Département
Localisation
Site Monod
Année
2022
Public externe (ouverts aux auditeurs de cours)