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