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