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

Apoio
€149.79
Métodos de Pagamento

Tabela de Conteúdo

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.
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● Páginas 354 ● ISBN 9781846282713 ● Tamanho do arquivo 2.6 MB ● Editor Christopher Rouff ● Editora Springer London ● Cidade London ● País GB ● Publicado 2006 ● Carregável 24 meses ● Moeda EUR ● ID 2151408 ● Proteção contra cópia DRM social

Mais ebooks do mesmo autor(es) / Editor

16.523 Ebooks nesta categoria