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

Destek
€149.79
Ödeme metodları

İçerik tablosu

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.
Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!
Dil İngilizce ● Biçim PDF ● Sayfalar 354 ● ISBN 9781846282713 ● Dosya boyutu 2.6 MB ● Editör Christopher Rouff ● Yayımcı Springer London ● Kent London ● Ülke GB ● Yayınlanan 2006 ● İndirilebilir 24 aylar ● Döviz EUR ● Kimlik 2151408 ● Kopya koruma Sosyal DRM

Aynı yazardan daha fazla e-kitap / Editör

16.523 Bu kategorideki e-kitaplar