Sur le site de Paul Gastin

http://www.lsv.ens-cachan.fr/~gastin/
 

   Professeur à l'ENS de Cachan, P. Gastin propose ses transparents, TD et exercices, sujets de partiels et d'examens... des trois dernières années.

• Cours d'Algorithmique du magistère informatique de l'ENS de Cachan
  http://www.lsv.ens-cachan.fr/~gastin/Algo/

• Cours Langages formels du magistère informatique de l'ENS de Cachan
  http://www.lsv.ens-cachan.fr/~gastin/Langages/

• Cours d'initiation à la vérification du MPRI
  http://www.lsv.ens-cachan.fr/~gastin/Verif/

___________________
Association EPI
Septembre 2010