• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Магистерская программа «Науки о данных»

Automated Methods for Program Verification

2018/2019
Учебный год
ENG
Обучение ведется на английском языке
4
Кредиты
Статус:
Курс по выбору
Когда читается:
1-й курс, 1, 2 модуль

Преподаватель


Канович Макс Иосифович

читает лекции, ведет семинары и принимает экзамены/зачеты