Vérification de systèmes probabilistes - M2 (2024--2025)

Equipe enseignante

François Laroussinie.

Actualités

Le premier cours aura lieu mardi 13 janvier.


Documents