École polytechnique –
Département d'informatique –
Master
1
Pré-requis aux cours INF551 (Computational Logic), INF564 (Compilation) et INF565 (Vérification).
Enseignant : Jean-Christophe Filliâtre
Horaire : Mardi 8 septembre de 15h30 à 17h00, salle 67
Ressources :
Enseignant : Rémy El Sibaïe
En salle info 36
Horaires : au choix,
Énoncés :
(l'environnement de travail est décrit au début du TD 1)