Поиск

Закладки

Озвучивание недоступно

Озвучить книгу

Изменить режим чтения

Изменить размер шрифта

Оглавление

Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Вполне структурированные системы помеченных переходов

Глава 3. Темпоральные свойства систем переходов

Предыдущая страница

Следующая страница

Оглавление

Предисловия рецензентов

Предисловие авторов

Введение

Глава 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. Дерево разрешимости темпоральных логик

Список литературы

Предметный указатель

Данный блок поддерживает скрол*