Sorbonne Université  >  UFR d'ingénierie

Cette page est la page officielle de la partie " Typage " du cours du 1er semestre 2022/2023 intitulé « Typage et Analyse Statique » qui s'adresse aux étudiants de master de Sorbonne-Université.

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), Milla Valnet (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 : 25/10/2023