Syllabus 2012/2013
Extrait PDF
index
Description de l'UV I9ESSV-B
Option(s) :
Semestre 9ESSV-European Studies in Software Verification
Département(s) :
Informatique
Titre :
Vérification logicielle
Responsable(s) d'UV :
HERBRETEAU Frédéric
Note sur l'UV :
Langue d'enseignement: anglais
Crédits ECTS :
6
Modules constitutifs :
IF317
Vérification logicielle
6.00 CR
