マルチエージェント・システムの仕様と認証
Specification and Verification of Multi-agent Systems
Dastani, M. (EDT)
Hindriks, K. V. (EDT)
Meyer, J. C. (EDT)
- 出版社：Springer
- 出版年月：2010年 07月
- ISBN：9781441969835
- 装丁：HRD
-
装丁について
- 言語：ENG
- 巻数・ページ数：405 p.
- 分類： 人工知能
- DDC分類：005
- 内容紹介：
-
Presents a coherent treatment of the area of formal specification and verification of agentbased systems with a special focus on verification of multi-agent programs.