Specification and Verification of Multi-agent Systems - Mehdi Dastani - Books - Springer-Verlag New York Inc. - 9781489990884 - October 20, 2014
In case cover and title do not match, the title is correct

Mehdi Dastani
Specification and Verification of Multi-agent Systems 2010 edition

Price
Kč 3,299
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 24 - Jan 8, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

405 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 20, 2014
ISBN13 9781489990884
Publishers Springer-Verlag New York Inc.
Pages 405
Dimensions 155 × 235 × 22 mm   ·   639 g
Language English  
Editor Dastani, Mehdi
Editor Hindriks, Koen V.
Editor Meyer, John-Jules
Show all

More by Mehdi Dastani

See all of Mehdi Dastani ( e.g. Paperback Book and Hardcover Book )