Master
2023/2024
Formal Methods in Software Engineering
Type:
Compulsory course (System and Software Engineering)
Area of studies:
Software Engineering
Delivered by:
School of Software Engineering
Where:
Faculty of Computer Science
When:
1 year, 2-4 module
Mode of studies:
offline
Open to:
students of one campus
Master’s programme:
Software and Systems Engineering
Language:
Russian
ECTS credits:
9
Contact hours:
116