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