Département Informatique

Retour

Accueil FORMATIONS Unités d’enseignements (UEs) et supports Unités d’enseignements (UEs) AISL

SMB210 : Sémantique, typage et analyse de programme

Fiche descriptive de l'UE: Cliquez ici
Emploi du temps de l'UE prévisionnel (sujet à modification): Cliquez ici
Diplômes:  Master Systèmes embarqués sûrs et mobiles
Mots clés:  Validation , Vérification
REMPLISSEZ LE FORMULAIRE D'APPRECIATION DES AUDITEURS SUR L'ENSEIGNEMENT