Sorbonne Université  >  UFR d'ingénierie

Cette page est la page officielle de la partie " Typage " du cours du 1er semestre 2021/2022 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), Raphael Monat (LIP6).
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 : 27/10/2021