€149.79
表中的内容
What Is an Agent? And What Is an Agent Community?.- to Formal Methods.- Formal Methods and Agent-Based Systems.- A Process-Algebraic Agent Abstraction.- Dynamic Team Formation in Executable Agent-Based Systems.- Scenario-Based Engineering of Multi-Agent Systems.- Verification Within the KARO Agent Theory.- Assuring the Behavior of Adaptive Agents.- Agents in a Wild World.- Formal Methods at NASA Goddard Space Flight Center.- Formal Verification of Autonomy Models.
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● 网页 354 ● ISBN 9781846282713 ● 文件大小 2.6 MB ● 编辑 Christopher Rouff ● 出版者 Springer London ● 市 London ● 国家 GB ● 发布时间 2006 ● 下载 24 个月 ● 货币 EUR ● ID 2151408 ● 复制保护 社会DRM
来自同一作者的更多电子书 / 编辑
16,480 此类电子书
