FORMAL METHODS FOR SYSTEM VERIFICATION

Academic year
2019/2020 Syllabus of previous years
Official course title
FORMAL METHODS FOR SYSTEM VERIFICATION
Course code
CM0474 (AF:306545 AR:166113)
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