|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Математические модели программ и языков программирования (Software and programming language theory). Курс на английском языке.учебный курс
- Авторы: Васенин В.А., Кривчиков М.А.
- Год создания: 2015
- Организация: МГУ имени М.В. Ломоносова
- Курс на иностранном языке
- Описание: Курс представляет собой введение в дедуктивные методы формальной верификации. В нем рассматриваются практические аспекты описания формальной семантики программ и языков программирования, а также формальной верификации функциональных свойств программ, включая обзор результатов современных проектов по верификации сложных программных продуктов. Курс читается на английском языке.
- Добавил в систему: Кривчиков Максим Александрович
Преподавание курса
- с 10 февраля 2016 Кривчиков Максим Александрович
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 36 часов
- Авторы: Васенин В.А., Кривчиков М.А.