Cette page contient des informations pour le cours ``INF3140 --
Modélisation et spécification formelle de logiciels'',
cours enseigné à l'automne 2009 par Guy Tremblay
du département
d'informatique de
l'UQAM.
Je serai disponible pour consultation sur rendez-vous seulement. Pour
prendre rendez-vous, envoyez-moi un courriel :
.
Mon bureau est au PK-4165 (secrétariat du département d'informatique).
Vous pouvez aussi me contacter par courriel ou par
téléphone et je pourrai tenter de répondre
directement à vos questions.
Envoi d'un message au professeur
Pour m'envoyer un message (courrier électronique) :
Pour me contacter par téléphone : 987-3000 poste 8213#
(et laissez un message si nécessaire).
Guy Tremblay
Département d'informatique, UQAM
C.P. 8888, Succ. Centre-Ville
Montréal, Qué.
H3C 3P8
Création initiale du site: 13/08/2008
Dernière mise à 6/11/2009