Les formations
Formations courtes
Formation continue
Formations en alternance (apprentissage)
Accueil
Formations
Master
MASTER INFORMATIQUE
Algorithmique
M2 - Algorithmique
Vérification automatique de programmes
Vérification automatique de programmes
ECTS
4 crédits
Composante
Faculté des Sciences