Master
2026/2027
Formal Methods in Software Engineering
ID 1120741
Type:
Compulsory course (System and Software Engineering)
Delivered by:
School of Software Engineering
Where:
Faculty of Computer Science
When:
1 year, 2-4 module
Open to:
students of one campus
Language:
Russian
ECTS credits:
9
Contact hours:
116