Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программ7. Обзор средства SPIN - синтаксис, трансляция базовых конструкций в модели Крипке7. Обзор средства SPIN - синтаксис, трансляция базовых конструкций в модели Крипке
2020-08-252020-08-25СтудИзба
Лекции: 7. Обзор средства SPIN - синтаксис, трансляция базовых конструкций в модели Крипке
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Просмотров
20
Скачиваний
1
Размер
864,38 Kb