СтудИзба » ВУЗы » МГУ им. Ломоносова » Файлы МГУ им. Ломоносова » 11 семестр » Математические методы верификации схем и программ » Лекции и семинары » 8 Отношения бисимуляционной эквивалентности (бисимуляции) и симуляционного квазипорядка (симуляции) на моделях Крипке
Для студентов МГУ им. Ломоносова 11 семестрa по предмету Математические методы верификации схем и программ 8 Отношения бисимуляционной эквивалентности (бисимуляции) и симуляционного квазипорядка (симуляции) на моделях Крипке8 Отношения бисимуляционной эквивалентности (бисимуляции) и симуляционного квазипорядка (симуляции) на моделях Крипке 2020-08-25 СтудИзба

8 Отношения бисимуляционной эквивалентности (бисимуляции) и симуляционного квазипорядка (симуляции) на моделях Крипке

Описание

Описание файла отсутствует

Список файлов в архиве

Комментарии

Сопутствующие материалы
Дата публикации 25 августа 2020 в 17:10
Рейтинг -
0
0
0
0
0
Автор Koala (- из 5)
Цена Бесплатно
Скачивания 1
Просмотры 26
Размер 1,53 Mb
Безопасность Файл был вручную проверен администрацией в том числе и на вирусы
Поделитесь ссылкой:
Свежие статьи
Популярно сейчас