ECTS
8 crédits
Liste des enseignements
Au choix : 2 parmi 4
Modèles de la programmation
4 créditsInitiation à la preuve formelle assistée par ordinateur
4 créditsOuverture I
4 créditsOuverture II
4 crédits
Dernière mise à jour le 8 juillet 2021
Contact
(33) (0)1 57 27 90 00