SAR: bouquin utile pour les M2

Posté le mercredi 4 octobre 2006


Un peu de pub ;-)

Je signale la sortie imminente d’un livre collectif impliquant de nombreux enseignants du master SAR sur le thème des méthodes formelles pour les systèmes répartis.

Vous trouverez dans ce bouquin un certain nombre d’éléments utiles dans le cadre d’UE comme MSR, VFSR et aussi par certains aspects RAAR. ca risque aussi d’être utile pour le groupe de recherche GRAR...

Hélas, Hermes pratique une politique des prix que je trouve trop élevée mais il sera sans doute en bibliothèque d’ici la fin du mois. Vous devriez essayer d’aller y voir...


Autres Brèves