Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems

by John-JulesCharlesMeyer (Editor), Mehdi Dastani (Editor), KoenV.Hindriks (Editor)

Synopsis

Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification and verification of agent-based systems. Topics include theorem proving to verify agent programs, model checking logistics, refining multi-agent systems, and more.

$194.97

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 405
Edition: 1st Edition.
Publisher: Springer
Published: 09 Aug 2010

ISBN 10: 1441969837
ISBN 13: 9781441969835