Магистратура
2018/2019
Методы автоматической верификации программ
Статус:
Курс по выбору (Науки о данных)
Направление:
01.04.02. Прикладная математика и информатика
Где читается:
Факультет компьютерных наук
Когда читается:
1-й курс, 1, 2 модуль
Формат изучения:
без онлайн-курса
Преподаватели:
Канович Макс Иосифович
Прогр. обучения:
Науки о данных
Язык:
английский
Кредиты:
4
Контактные часы:
52