Mohlo by se vám také líbit

Více informací o knize Agent Technology from a Formal Perspective

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 509 bodů

Anotace knihy

The field of agent & multi-agent systems is experiencing tremendous growth whilst that of formal methods has also blossomed. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, were thus timely. This book has arisen from the overwhelming response to FAABS 00, 02 & 04 and all chapters are updated or represent new research, & are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems.§Agent Technology from a Formal Perspective provides an in-depth view of the key issues related to agent technology from a formal perspective. As this is a relatively new interdisciplinary field, there is enormous room for further growth and this book not only creates an initial foundation, but points to the gaps; indicating open problems to be addressed by future researchers, students & practitioners.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation

• Plný název: Agent Technology from a Formal Perspective
• Autor: Christopher Rouff, Michael Hinchey, James Rash, Walt Truszkowski
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 354
• EAN: 9781849969697
• ISBN: 1849969698
• ID: 01434847
• Nakladatelství: Springer London Ltd
• Hmotnost: 562 g
• Rozměry: 156 × 233 × 25 mm
• Datum vydání: 28. October 2010

Oblíbené z jiného soudku

---

---

---