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