Outils

INFO5171 : Algebraic methods and program correctness, graphs and automata

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
Localisation
Site Monod
Année
2022

Public externe (ouverts aux auditeurs de cours)