• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
visionusersearch
Bachelor 2018/2019

Automatic Proof Checking and Algorithm Verification

Category 'Best Course for New Knowledge and Skills'
Area of studies: Applied Mathematics and Information Science
When: 4 year, 1, 2 module
Instructors: Evgeny Kolmakov (conducts seminars and administers exams), Stepan Kuznetsov (delivers lectures and administers exams)
Language: English
ECTS credits: 5