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