Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программЛекция 4. Логика вычисления программ. CTL. LTLЛекция 4. Логика вычисления программ. CTL. LTL
2020-08-252020-08-25СтудИзба
Лекции: Лекция 4. Логика вычисления программ. CTL. LTL
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Просмотров
15
Скачиваний
1
Размер
346,96 Kb