Cours/TD/Tp Méthodes formelles - Vérification probabiliste
M2 Informatique 2022-2023


ANNONCES
HORAIRES
ORGANISATION
COURS
ENONCES DES TD/TP
EXAMEN
L'examen est à rendre par mail à sangnier@irif.fr au plus tard le mardi 4 avril 2023 à 12h00.
DEVOIR MAISON
Le devoir est à rendre par mail à sangnier@irif.fr au plus tard le dimanche 26 mars 2023 à 23h59. Les modalités de rendu sont précisées dans l'énoncé.
ANNALES
REFERENCES