• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Bachelor 2023/2024

Programming with Dependent Types

Area of studies: Applied Mathematics and Information Science
Delivered by: Department of Informatics
When: 4 year, 1, 2 module
Mode of studies: offline
Open to: students of one campus
Instructors: Denis Moskvin
Language: Russian
ECTS credits: 5
Contact hours: 40