Modélisation et spécification-- M2 (2017--2018)

Equipe enseignante

François Laroussinie et Arnaud Sangnier.

Actualités



Pour le cours de jeudi 14 décembre: la salle ne change pas: 264E ! Et afin de corriger l'examen de l'année dernière, il est NECESSAIRE que chacun fasse entièrement l'exercice 6 (le lave-vaisselle !). Les notes du partiel sont ICI.

Documents


Programme

Voir la page de Arnaud Sangnier.

Email: francois.laroussinie[at]univ-paris-diderot.fr