Luigi Santocanale, enseignements 2003-2004
DEUG 2ème année MIAS à Marseille, Hiver 2004 : TEE
Utilisation d'un vérificateur de modèles
.
DESS Hiver 2004 :
Statisique multivarié
.
Stages de DEA
proposés pour l'Hiver 2004.
Maîtrise d'informatique à Marseille, Hiver 2004 :
proposition de TER
Étude des protocoles de sécurité à l'aide des démonstrateurs automatiques
.
Licence d'informatique à Marseille, Automne 2003 :
Cours
programmation système en C
.
Cours de
logique pour l'informatique
.
Luigi Santocanale
Dernière mise à jour : Wed Aug 3 15:42:45 CEST 2005