Projet DCG & DSCG - Snes
2. A.Aho et J.Ullman, Concepts fondamentaux de l'informatique, Dunod, 1993. ...
Unité 5 : introduction à la sémantique axiomatique, preuve de correction de la .....
Le cours sera complété pas des TD-papiers de préparation à l'examen écrit et
des ..... series: Advanced Information and Knowledge Processing, Springer, 2006
.