€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 ● هوية شخصية 2151408 ● حماية النسخ DRM الاجتماعية
المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر
16٬480 كتب إلكترونية في هذه الفئة
