Master 2020/2021

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

Instructors: Alexander Kamkin

Master’s programme: System Programming

Language: Russian

ECTS credits: 5

Contact hours: 56