INFO4213 : Preuves et programmes
Programs and proofs
- Responsable(s) :
-
- Daniel Hirschkoff
- Enseignant(s) :
-
- Michele Angelo Pagani
Niveau
M1+M2
Discipline
Informatique
ECTS
3.00
Période
2e semestre
Département
Localisation
Site Monod
Année
2023
Public externe (ouverts aux auditeurs de cours)