СтудИзба » ВУЗы » МГУ им. Ломоносова » Файлы МГУ им. Ломоносова » 10 семестр » Мат. методы вериф. программ и схем » Лекции и семинары » Лекция 10. Временные автоматы. Регионная модель Крипке. Сведение МС к TCTL и CTL
Для студентов МГУ им. Ломоносова 10 семестрa по предмету Мат. методы вериф. программ и схем Лекция 10. Временные автоматы. Регионная модель Крипке. Сведение МС к TCTL и CTLЛекция 10. Временные автоматы. Регионная модель Крипке. Сведение МС к TCTL и CTL 2020-08-25 СтудИзба

Лекция 10. Временные автоматы. Регионная модель Крипке. Сведение МС к TCTL и CTL

Описание

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

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

Комментарии

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