Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
1. Современное состояние верификации поведения интеллектуальных агентов
Предыдущая страница
Следующая страница
Table of contents
Предисловие
Введение
1. Современное состояние верификации поведения интеллектуальных агентов
-
1.1. Формальные языки (модели) описания спецификаций поведения агентов
1.2. Формальные языки описания свойств спецификаций поведения агентов
Контрольные вопросы
2. Формулировка типичных условий верификации спецификаций поведения агентов
+
3. Прототипирование верификации поведения агентов
+
Литература
Данный блок поддерживает скрол*