ISBN 1489990887 books & textbook

Specification and Verification of Multi-agent Systems

Dastani, Mehdi Hindriks, Koen V. Meyer, John-Jules

Springer /2014-10-20 Paperback / 422 Pages
isbn-10: 1489990887 / isbn-13: 9781489990884