Ensimag Rubrique Formation 2022

Verification of sequential programs - WMM9MO45

  • Number of hours

    • Lectures 6.0
    • Projects -
    • Tutorials 6.0
    • Internship -
    • Laboratory works 6.0
    • Written tests -

    ECTS

    ECTS 3.0
Responsible(s)

David MONNIAUX

Test

The exam is given in english only FR

Calendar

The course exists in the following branches:

  • Curriculum - Master 2 in Computer Science - Semester 9 (this course is given in english only EN)
see the course schedule for 2020-2021

Additional Information

Course ID : WMM9MO45
Course language(s): FR

You can find this course among all other courses.