• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
ФакультетыУчебные курсы01.04.02. Прикладная математика и информатикаНауки о данных

Automated Methods for Program Verification

Учебный год: 2015/2016
Статус: Курс по выбору
Преподаватели: Канович Макс Иосифович (читает лекции, ведет семинары, проверяет работы и принимает экзамены/зачеты), Макаров Илья Андреевич (принимает экзамены/зачеты)
Язык: английский
Уровень: Магистратура
Направление: 01.04.02. Прикладная математика и информатика
Прогр. обучения: Науки о данных
Когда читается: 1-й курс, 1, 2 модуль
Кредитов: 4
Образовательная программа: Науки о данных
Прогр. уч. дисц.:  program-1197338928-j2ivltKp1p.pdf
Материалы по курсу: