Master
2018/2019
Automated Methods for Program Verification
Type:
Elective course (Data Science)
Area of studies:
Applied Mathematics and Informatics
Delivered by:
School of Data Analysis and Artificial Intelligence
Where:
Faculty of Computer Science
When:
1 year, 1, 2 module
Mode of studies:
offline
Instructors:
Max Kanovich
Master’s programme:
Data Science
Language:
English
ECTS credits:
4
Contact hours:
52