UPMC  > 

Cette page est la page officielle du cours du 1er semestre 2016/2017 intitulé « Typage et Analyse Statique » qui s'adresse aux étudiants de master de l'UPMC. La description de la brochure du module se trouve ici.

Nouvelles fraîches

Notes de cours, TD et TME

Équipe pédagogique

L'équipe pédagogique est ainsi constituée: Emmanuel Chailloux (LIP6), Romain Demangeon (LIP6), Antoine Miné (LIP6), Sarah Zennou (Airbus).
Pour envoyer un courrier à l'équipe pédagogique, cliquez ici.

Examens et notation

L'évaluation de ce module comprend :

Langages et environnements de travail

Bibliographie

Quelques lectures autour de la fiabilité logicielle et des langages :

Ouvrages de référence :

Autres liens



Remarques?    dernière modification : 08/11/2016