|
|
libcats.org
Главная →
Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)Karin Breitman, Marco Antonio Casanova, Walt TruszkowskiThe 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.
Скачать книгу бесплатно (pdf, 4.38 Mb)
Читать «Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Климатические характеристики условий распространения примесей в атмосфереАвтор: Безуглая Э.Ю., Автор: Берлянд М.Е. (ред.)Категория: Physics, Encyclopaediae
Размер книги: 6.23 Mb
Учебник сержанта ракетных войск и артиллерии. Для командиров орудий, минометов и боевых машин реактивной артиллерииАвтор:Категория: Военная техника
Размер книги: 3.47 Mb
Creating Applications with MozillaАвтор: David Boswell, Автор: Brian King, Автор: Ian Oeschger, Автор: Pete Collins, Автор: Eric MurphyКатегория: Computer science
Размер книги: 5.03 Mb
Stilwell and the American Experience in China, 1911-45Автор: Barbara W. Tuchman
Размер книги: 2.86 Mb
Studies in the Semiotics of Biblical Law (JSOT Supplement)Автор: Bernard S. JacksonКатегория: Образование
Размер книги: 6.69 Mb
Recent Trends and Developments in Social Software: International Conferences on Social Software, BlogTalk 2008, Cork, Ireland, March 3-4, 2008, and BlogTalk ... Applications, incl. Internet Web, and HCI)Автор: John G. Breslin, Автор: Thomas N. Burg, Автор: Hong-Gee Kim, Автор: Tom Raftery, Автор: Jan-Hinrik SchmidtКатегория: Математика, Прикладная математика
Размер книги: 7.35 Mb
Constructing the Subject: Historical Origins of Psychological Research (Cambridge Studies in the History of Psychology)Автор: Kurt DanzigerКатегория: История
Размер книги: 5.62 Mb
Modern China: A Very Short Introduction (Very Short Introductions)Автор: Rana Mitter
Размер книги: 1.15 Mb
Embracing Your Father: How to Build the Relationship You Always Wanted with Your DadАвтор: Linda Nielsen
Размер книги: 5.94 Mb
|
|
|