Julie Vachon
Professeure agrégée                                 


Ift6222-- Spécification et vérification formelle

Le premier cours aura lieu lundi 10 janvier 2011
de 13h30 à 15h30, local Z-260 (Pav. C.McNicoll).

plan de cours


 

Département d'informatique et de recherche opérationnelle
Faculté des arts et sciences
Université de Montréal
C.P. 6128, Succursale Centre-Ville
Montréal, Québec
H3C 3J7, Canada

Téléphone: (+1) (514) 343.61.59
Fax: (+1) (514) 343.58.34

Courriel: vachon[A T]iro.umontreal.ca


 

Méthodes formelles