Syllabus 2013/2014
 
Extrait PDF Anglais
Français
index
Description de l'UE I9ESSV-E
Option(s) :
Département(s) :
Informatique
Titre :
Types et preuves
Responsable(s) d'UE :
NARBEL Philippe
Note sur l'UE :
Langue d'enseignement: anglais
Crédits ECTS :
6
Modules constitutifs :
IF321  Types et preuves
6.00 CR