portrait
Licence 2 Sciences et Technologies

Automne 2019

Outils Formels pour l'Informatique


COURS & TD


Cours 18h : E. Formenti, S. Julia TD 36h : E. Formenti, S. Julia

Contrôle des connaissances :

Une feuille manuscrite est autorisée à chaque examen.




Annales

2019-20 : octobre, janvier, juin.