Specification and Verification of Multi-agent Systems
By: edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer
Contributors: Hindriks, Koen V.; Meyer, John-Jules Charles; SpringerLink (Online service)
Publisher: Springer Science+Business Media, LLC; Springer
Published: 2010
Place of publication: Boston, MA
Language: eng
Format: [electronic resource] /
Number of pages: 405
ISBN-13: 9781441969835; 9781441969842
Subjects: Software engineering; Electronic data processing; Computer science; Artificial intelligence