Le livre au format Word 2008 à télécharger - Les Classiques des ...
... semi-formelles. 1/3 semestre: Réseaux de pétri et vérification (jeux de tests) ...
Pas de livre comme tel, quelques références sur le plan de cours (par exemple
pour des exercices). ..... DFD: Agent externe DFD de la démo2#1, revu et corrigé:
.