Specification and verification of multi-agent systems

Saved in:
Bibliographic Details
Other Authors: Dastani, Mohammad Mehdi (Editor), Hindriks, Koen, 1971- (Editor), Meyer, J.-J. Ch., 1954- (Editor)
Format: eBook
Language: English
Published: New York ; Dordrecht : Springer, 2010
Subjects:
ISBN: 9781441969842
Physical Description: xvii, 405 s. : il.

Cover

Table of contents