Informática práctica Inteligencia artificial

AGENT TECHNOLOGY FROM A FORMAL PERSPECTIVE

Por

CHRISTOPHER ROUFF

(0)

Otros

Estado: DE 2ª MANO (BUENO)

Vendido por Brand New Used Books

Envío desde Sevilla, España Península lo tendrás en Transporte vendedor profesional
Otros vendedores (nuevo y usado) desde 189,00 €

Sinopsis

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.

Especificaciones del producto

Reseñas sobre AGENT TECHNOLOGY FROM A FORMAL PERSPECTIVE

Comparte tu experiencia con la comunidad lectora.

0

0 Reseñas
5 0
4 0
3 0
2 0
1 0

Sólo por opinar entras en el sorteo mensual de tres tarjetas regalo valoradas en
20€