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