for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry ...

New to eBooks.com?

Learn more

Agent Technology from a Formal Perspective

Agent Technology from a Formal Perspective by Christopher A. Rouff
Add to cart
US$ 159.00
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 a00, a02 & a04 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.
Springer; January 2006
365 pages; ISBN 9781846282713
Read online, or download in secure PDF format
Title: Agent Technology from a Formal Perspective
Author: Christopher A. Rouff
 
Buy, download and read Agent Technology from a Formal Perspective (eBook) by Christopher A. Rouff today!