Christopher Rouff 
Agent Technology from a Formal Perspective [PDF ebook] 

Підтримка
€149.79
методи оплати

Зміст

What Is an Agent? And What Is an Agent Community?.- to Formal Methods.- Formal Methods and Agent-Based Systems.- A Process-Algebraic Agent Abstraction.- Dynamic Team Formation in Executable Agent-Based Systems.- Scenario-Based Engineering of Multi-Agent Systems.- Verification Within the KARO Agent Theory.- Assuring the Behavior of Adaptive Agents.- Agents in a Wild World.- Formal Methods at NASA Goddard Space Flight Center.- Formal Verification of Autonomy Models.
Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!
Мова Англійська ● Формат PDF ● Сторінки 354 ● ISBN 9781846282713 ● Розмір файлу 2.6 MB ● Редактор Christopher Rouff ● Видавець Springer London ● Місто London ● Країна GB ● Опубліковано 2006 ● Завантажувані 24 місяців ● Валюта EUR ● Посвідчення особи 2151408 ● Захист від копіювання Соціальний DRM

Більше електронних книг того самого автора / Редактор

16 523 Електронні книги в цій категорі