Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Теория соответствия для систем с блокировками и разрушениями
Итоги и перспективы
Предыдущая страница
Следующая страница
Оглавление
Предисловие
1. Формальные модели и соответствия между ними
2. Отношение ioco и его проблемы
3. Предлагаемый в данной работе подход
4. Благодарности
Как читать эту книгу
1. Краткое содержание книги
2. Нумерация и ссылки
3. Порядок чтения книги
Общематематические понятия и обозначения
1. Множества, числа и соответствия
2. Последовательности
3. Деревья последовательностей
4. Порождающий граф
Глава 1. Основные понятия теории соответствия
+
Глава 2. Синхронное тестирование
+
Глава 3. Верификация композиции
+
Глава 4. Верификация композиции в частных случаях
+
Итоги и перспективы
Список литературы
Приложение A. Доказательства утверждений
Данный блок поддерживает скрол*