Линейная темпоральная логика. Синтаксис

Аватар автора
Загадка размышления и задания задача эзотерической мудрости
Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" Проверка корректности реагирующих программ Линейная темпоральная логика

0/0


0/0

0/0

0/0