Opening book details…
Can I read Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering) on EtoBox?
Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering) by Karin Breitman, Marco Antonio Casanova, Walt Truszkowski is a nonfiction available to read on EtoBox.
What is Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering) about?
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.
Who reads Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Karin Breitman, Marco Antonio Casanova, Walt Truszkowski
- Publisher
- Springer London Ltd
- Published
- 2006
- Language
- EN
- ISBN
- 9781846287107
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Management
Other editions & translations
More by Karin Breitman, Marco Antonio Casanova, Walt Truszkowski
Browse all works by Karin Breitman, Marco Antonio Casanova, Walt Truszkowski
Similar books
- ACS Without an Attitude (NASA Monographs in Systems and Software Engineering) — Harold L. Hallock, Gary Welter, David G. Simpson, Christopher Rouff (auth.) (2017)
- Teamwork in Multi-Agent Systems: A Formal Approach (Wiley Series in Agent Technology) — Barbara Maria Dunin-Keplicz, Rineke Verbrugge, (2010)
- Methodologies and Software Engineering for Agent Systems — Bergenti F. , Zambonelli F. , Gleizes M. P. (2004)
- Intelligent Agent Software Engineering — Valentina Plekhanova (2003)
- DevOps: A Software Architect's Perspective (SEI Series in Software Engineering) — Bass, Len, Weber, Ingo, Zhu, Liming (2015)
- Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers — Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff, (2005)