Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программ8 Отношения бисимуляционной эквивалентности (бисимуляции) и симуляционного квазипорядка (симуляции) на моделях Крипке8 Отношения бисимуляционной эквивалентности (бисимуляции) и симуляционного квазипорядка (симуляции) на моделях Крипке
2020-08-252020-08-25СтудИзба
Лекции: 8 Отношения бисимуляционной эквивалентности (бисимуляции) и симуляционного квазипорядка (симуляции) на моделях Крипке
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Просмотров
30
Скачиваний
1
Размер
1,53 Mb