Specification and Verification of Multi-agent Systems
Dastani, Mehdi (EDT)
Hindriks, Koen V. (EDT)
Meyer, John-jules (EDT)
- 出版社:Springer-Verlag New York Inc
- 出版年月:2014年 10月
- ISBN:9781489990884
- 装丁:PAP
-
装丁について
- 言語:ENG
- 巻数・ページ数:405 p.
- DDC分類:005