SMB210 : Sémantique, typage et analyse de programme

Fiche descriptive UE au format PDFFiche descriptive de l'UE (PDF): Cliquez ici
Fiche descriptive UE au format HTMLFiche descriptive de l'UE (Web): Cliquez ici
Icone UEDiplômes:  Master Systèmes embarqués sûrs et mobiles
Icone UEMots clés:  Validation , Vérification