libcats.org
Главная

Agent Technology from a Formal Perspective

Обложка книги Agent Technology from a Formal Perspective

Agent Technology from a Formal Perspective

, , , ,

The field of agent & multi-agent systems is experiencing tremendous growth whilst that of formal methods has also blossomed. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, were thus timely. This book has arisen from the overwhelming response to FAABS ’00, ’02 & ’04 and all chapters are updated or represent new research, & are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems.

Agent Technology from a Formal Perspective provides an in-depth view of the key issues related to agent technology from a formal perspective. As this is a relatively new interdisciplinary field, there is enormous room for further growth and this book not only creates an initial foundation, but points to the gaps; indicating open problems to be addressed by future researchers, students & practitioners.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Genki 1: An Integrated Course in Elementary Japanese 1

Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:

Niven, Larry - Ringworld

Автор:
Размер книги: 891 Kb

Legends of the Dark Knight 002

Автор:
Размер книги: 14.07 Mb

НОЧНОЙ РАЗГОВОР ТЕЛА

Автор:
Размер книги: 516 Kb

Einmal auf der Welt. Und dann so

Автор:
Размер книги: 443 Kb

The Earth Made New: Plains Indian Stories of Creation

Автор: , Автор:
Размер книги: 10.13 Mb