Master 2024/2025

Formal Methods in Software Engineering. Additional Chapters

Type: Compulsory course (System Programming)

Area of studies: Software Engineering

Delivered by: Joint Department with the RAS Institute for System Programming

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