Syllabus 2013/2014
 
Extrait PDF [0.35 Mo] Anglais
Français
index
Semestres, UnitÚs de Valeurs :
Informatique
Semestre 9ESSV
European Studies in Software Verification
I9ESSV-A Techniques de modélisation
I9ESSV-B Vérification logicielle
I9ESSV-C Jeux, synthèse de contrôleurs
I9ESSV-D Projet d'étude et de recherche
I9ESSV-E Types et preuves