• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

FacultiesCourses

Automatic Proof Checking and Algorithm Verification

Academic year: 2018/2019
Instructors: Kolmakov, Evgeny (conducts seminars and administers exams), Kuznetsov, Stepan (delivers lectures and administers exams)
Language: English
Level: Bachelor
When: 4 year, 1, 2 module
Credits: 5
Course materials: