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