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

Dukung
€149.79
cara pembayaran

Daftar Isi

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.
Beli ebook ini dan dapatkan 1 lagi GRATIS!
Bahasa Inggris ● Format PDF ● Halaman 354 ● ISBN 9781846282713 ● Ukuran file 2.6 MB ● Editor Christopher Rouff ● Penerbit Springer London ● Kota London ● Negara GB ● Diterbitkan 2006 ● Diunduh 24 bulan ● Mata uang EUR ● ID 2151408 ● Perlindungan salinan DRM sosial

Ebook lainnya dari penulis yang sama / Editor

16,523 Ebooks dalam kategori ini