???????? ????????? ????, ?? ????????????-????????????? ...
Algorithmique graphique et modélisation ...... Interprétation abstraite: application
à la vérification et à l'analyse statique ..... (CM: 2h00)(TD: 2h00)(TME: 2h00) ......
Décembre 2004; Juillet 2005: Collection Synthex, Synthèse de cours et
Exercices Corrigés, Le langage UML 2, Benoit Charroux, Aomar Osmani, ...... 9, n
. 10, pp.