AddALL.com - Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence) 3540244220 9783540244226

Don't forget to bookmark this web site !!

Used & Out of Print Books | Contact us | Home

Browse and Compare Price at 40+ Sites and 20,000+ Stores!!

Find more info., search and price compare for
Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)
by
Binding: Paperback, 1 edition, 291 pages
Publisher: Springer
List Price: USD $69.95
Weight: 90
Dimension: H: 0.75 x L: 9.2 x W: 0.49 inches
ISBN 10: 3540244220
ISBN 13: 9783540244226
Click here to search for this book and compare price at 40+ bookstores with AddALL.com!

If you cannot find this book in our new and in print search, be sure to try our used and out of print search too!

Book Description:
This book constitutes the thoroughly refereed post proceedings of the Third International Workshop on Formal Approaches to Agent Based Systems, FAABS 2004, held in Greenbelt, MD, USA in April 2004. The 18 revised full papers and 4 revised poster papers presented have gone through two rounds of reviewing and improvement. Among the topics addressed are agent management systems, norms in agent societies, multi agent systems reliability, agent architectures, multi agent systems specification, formal methods, potential energy in multi agent systems, timed automata, model checking, OBDDs, multi agent systems verification, agent communication protocols, autonomic agents, and Petri nets.

Shipping Destination:
State: (US only)
Display in:
Search by:


Searching for Out of Print Books? [Click Here]

[ For web hosting, AddALL recommend Liquidweb]