Christopher Rouff 
Agent Technology from a Formal Perspective [PDF ebook] 

สนับสนุน
€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.
ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!
ภาษา อังกฤษ ● รูป PDF ● หน้า 354 ● ISBN 9781846282713 ● ขนาดไฟล์ 2.6 MB ● บรรณาธิการ Christopher Rouff ● สำนักพิมพ์ Springer London ● เมือง London ● ประเทศ GB ● การตีพิมพ์ 2006 ● ที่สามารถดาวน์โหลดได้ 24 เดือน ● เงินตรา EUR ● ID 2151408 ● ป้องกันการคัดลอก โซเชียล DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

16,523 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้