Recherche
Programme du
groupe de travail MVTsi
.
AltaRica
Pour plus de détails
Enseignement
Spécification Formelle
Cours et TD en DESS Génie Logiciel
.
Spécification Formelle
Cours et TD en DESS Informatique des Systèmes Critiques
.
Méthodes Formelles dans l'Ingénierie du Logiciel
Cours à l'ENSERB
.
Systèmes d'exploitation
Cours en maîtrise
.
Analyse Syntaxique et Compilation
TD en maîtrise
.
Programmation orientée objets
Cours en 3ème année d'IUP MIAGe
.
Programmation parallèle
Cours et TD en 3ème année d'IUP MIAGe
.
Pour plus de détails
Administration
Directeur des études du
DESS ISC.
Pour plus de détails
Divers