Ensimag Rubrique Formation 2022

Verification of sequential programs - WMM9MO45

  • Volumes horaires

    • CM 6.0
    • Projet -
    • TD 6.0
    • Stage -
    • TP 6.0
    • DS -

    Crédits ECTS

    Crédits ECTS 3.0
Responsable(s)

David MONNIAUX

Contrôle des connaissances

L'examen existe uniquement en anglais FR

Calendrier

Le cours est programmé dans ces filières :

  • Cursus ingénieur - Master 2 Informatique - Semestre 9 (ce cours est donné uniquement en anglais EN)
cf. l'emploi du temps 2020/2021

Informations complémentaires

Code de l'enseignement : WMM9MO45
Langue(s) d'enseignement : FR

Vous pouvez retrouver ce cours dans la liste de tous les cours.