image01

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.

税込価格:

35,571円

注文ステップへ
【ご注意事項】
※お客様都合による商品の返品は、原則としてお受けすることができません。
※提携先の在庫から手配するため、納期遅延や在庫切れとなる場合がございます。
※美品のご指定は承りかねます。
※一冊単位でのご注文となります。
※ご登録先のMy書店によってご注文いただけない場合がございます。
※お受け取り方法は、店頭受取のみとなります。
返品について