|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Захаров Владимир Анатольевич, преподаватель курса Математические методы верификации схем и программпреподавание учебного курса
- Преподаватель: Захаров Владимир Анатольевич
- Курс: Математические методы верификации схем и программ
- Тип дисциплины: обязательная, вариативной части
- Вид учебных занятий: лекции
- Подразделение: МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- Дата начала преподавания: 1 сентября 2017 г.
- Дата окончания преподавания: 20 декабря 2017 г.
- Количество часов: 36