Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers by Michael G. HincheyFormal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers by Michael G. Hinchey

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD…

byMichael G. HincheyEditorJames L. Rash, Walter F. Truszkowski

Paperback | January 31, 2005

Pricing and Purchase Info

$125.55 online 
$150.50 list price save 16%
Earn 628 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD…Format:PaperbackDimensions:291 pages, 23.5 × 15.5 × 1.73 inPublished:January 31, 2005Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540244220

ISBN - 13:9783540244226

Look for similar items by category:

Reviews