INFO4111 : Sémantique et vérification
Semantics and verification
- Responsable(s) :
-
- Daniel Hirschkoff
- Enseignant(s) :
-
- Colin Riba
Niveau
M1+M2
Discipline
Informatique
ECTS
5.00
Période
1e semestre
Département
Localisation
Site Monod
Année
2025
Public externe (ouverts aux auditeurs de cours)