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