Formal Approaches To Agent-based Systems: Second International Workshop, Faabs 2002, Greenbelt, Md, Usa, October 29-31, 2002, Revised Papers by Michael G. HincheyFormal Approaches To Agent-based Systems: Second International Workshop, Faabs 2002, Greenbelt, Md, Usa, October 29-31, 2002, Revised Papers by Michael G. Hinchey

Formal Approaches To Agent-based Systems: Second International Workshop, Faabs 2002, Greenbelt, Md…

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

Paperback | July 29, 2003

Pricing and Purchase Info

$114.32 online 
$136.95 list price save 16%
Earn 572 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 Second International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2002, held in Greenbelt, MD, in October 2002.The 18 revised full papers and 5 poster papers presented together with 9 panel statements and summaries were carefully selected for presentation during two rounds of reviewing and improvement. Among the topics addressed are formal models for agent communication, communication protocols, logic-based agents, statechart frameworks, formal specification of agent interaction, space shuttle applications, automated satellite ground operations, formal verification, agent control, multi-agent coordination, agent languages, mobile agent testing, battlefield agents, XML, autonomous agents, etc.
Title:Formal Approaches To Agent-based Systems: Second International Workshop, Faabs 2002, Greenbelt, Md…Format:PaperbackDimensions:295 pages, 23.3 × 15.5 × 1.73 inPublished:July 29, 2003Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540406654

ISBN - 13:9783540406655

Look for similar items by category:

Reviews