Specification and verification of multi-agent systems

著者

• Dastani, Mehdi
• Hindriks, Koen V.
• Meyer, John-Jules Charles
• Hoek, W. van der (Wiebe van der)

書誌事項

Specification and verification of multi-agent systems

Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; Foreword by Wiebe van der Hoek

Springer, 2010

注記

Includes bibliographical references (p. 385-405)

詳細情報

• NII書誌ID(NCID): BB19179839
• ISBN:
  • 9781489990884
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York
• ページ数/冊数: xvii, 405 p.
• 大きさ: 24 cm