Master
2019/2020
Formal Methods in Software Engineering
Type:
Compulsory course (System Programming)
Area of studies:
Software Engineering
Where:
Faculty of Computer Science
When:
1 year, 1-4 module
Mode of studies:
offline
Instructors:
Nina V. Evtushenko
Master’s programme:
System Programming
Language:
Russian
ECTS credits:
10
Contact hours:
126