Master 2023/2024

Software Verification

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: 1 year, 1, 2 module

Mode of studies: offline

Open to: students of one campus

Instructors: Alexander Kamkin

Master’s programme: System Programming

Language: Russian

ECTS credits: 6

Contact hours: 56