portrait
Licence 2 Informatique

Automne 2017

Outils Formels pour l'Informatique


COURS & TD


Cours 18h : S. Julia TD 36h :

Contrôle des connaissances :

Une feuille manuscrite est autorisée à chaque examen, hors flash.
Une séance de soutien sera proposée avant chaque examen, hors flash.






Annales

2017-18 : novembre, flash, décembre.