Master Informatique 1
Conceptions Formelles
Année 2016/2017
Module Modélisation et Vérification
- Le cours.
- Les travaux dirigés
- Le projet (contrôle continu). Date limite de remise : vendredi 10 mars 2017 à 24 heures par mail.
- L'examen.
Module Raffinement et preuves
Autres années