Specification and verification of multi-agent systems  [electronic resource] / 
edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer. 
 - Boston, MA :  Springer Science+Business Media, LLC,  2010. 
 - xvii, 405 p. :  ill., digital ;  24 cm. 
<br/><br/><label>ISBN: </label>9781441969842 (electronic bk.) 9781441969835 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Multiagent systems.<br/>Computer software--Verification.<br/>Computer Science.<br/>Software Engineering/Programming and Operating Systems.<br/>Artificial Intelligence (incl. Robotics)<br/>Mathematical Logic and Formal Languages.<br/>Software Engineering.<br/>Computing Methodologies.
<br/><br/><label>LC Class. No.: </label>QA76.76.I58  / S64 2010 
<br/><br/><label>Dewey Class. No.: </label>006.33