Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Вполне структурированные системы помеченных переходов
Глава 3. Темпоральные свойства систем переходов
Предыдущая страница
Следующая страница
Table of contents
Предисловия рецензентов
Предисловие авторов
Введение
Глава 1. Вполне структурированные системы помеченных переходов
+
Глава 2. Счетчиковые машины
+
Глава 3. Темпоральные свойства систем переходов
-
3.1. Метод проверки модели
3.1.1. Логики ветвящегося времени
3.1.2. Логики линейного времени
3.1.3. Сравнение логик
3.2. Темпоральные свойства систем переходов
3.2.1. Cистемы переходов автоматного типа
3.2.2. Системы переходов с сильной и транзитивной совместимостью
3.2.3. Дерево разрешимости темпоральных логик
Список литературы
Предметный указатель
Данный блок поддерживает скрол*