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

Stöd
€149.79
Betalningsmetoder

Innehållsförteckning

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.
Köp den här e-boken och få 1 till GRATIS!
Språk Engelska ● Formatera PDF ● Sidor 354 ● ISBN 9781846282713 ● Filstorlek 2.6 MB ● Redaktör Christopher Rouff ● Utgivare Springer London ● Stad London ● Land GB ● Publicerad 2006 ● Nedladdningsbara 24 månader ● Valuta EUR ● ID 2151408 ● Kopieringsskydd Social DRM

Fler e-böcker från samma författare (r) / Redaktör

16 523 E-böcker i denna kategori