-- YvesBertot - 06 Nov 2003
Cette page est reliée au cours de Maitrise d'Informatique sur la sémantique des langages de programmation, organisé par Yves Bertot. Les
cours magistraux sont assurés par Yves Bertot et Marieke Huisman et les Travaux dirigés sont assurés par Philippe Audebaud et Pascal Zimmer.
Des notes de cours sont disponibles depuis la page cours de sémantique to top