Master
2024/2025
Formal Methods in Software Engineering. Additional Chapters
Type:
Compulsory course (System Programming)
Area of studies:
Software Engineering
Where:
Faculty of Computer Science
When:
2 year, 1, 2 module
Mode of studies:
offline
Open to:
students of one campus
Instructors:
Nina V. Evtushenko
Master’s programme:
System Programming
Language:
Russian
ECTS credits:
6
Contact hours:
40