FORMAL METHODS FOR SYSTEM VERIFICATION

Academic year
2020/2021 Syllabus of previous years
Official course title
FORMAL METHODS FOR SYSTEM VERIFICATION
Course code
CM0474 (AF:332755 AR:175914)
Modality
On campus classes
ECTS credits
6
Degree level
Master's Degree Programme (DM270)
Educational sector code
INF/01
Period
1st Semester
Course year
1
Where
VENEZIA
Moodle
Go to Moodle page
Professors
Teaching equipment
Degree Programmes and Curricula
  • [CM9] COMPUTER SCIENCE - Master's Degree Programme (DM270)
    common pathway