Outils

INFO4111 : Sémantique et vérification

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

Public externe (ouverts aux auditeurs de cours)