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