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