• Produktbild: Agent Technology from a Formal Perspective
  • Produktbild: Agent Technology from a Formal Perspective

Agent Technology from a Formal Perspective

144,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

26.10.2005

Herausgeber

Christopher Rouff

Verlag

Springer London

Seitenzahl

354

Maße (L/B/H)

24,7/15,9/2,4 cm

Gewicht

660 g

Auflage

2006 edition

Sprache

Englisch

ISBN

978-1-85233-947-0

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

26.10.2005

Herausgeber

Christopher Rouff

Verlag

Springer London

Seitenzahl

354

Maße (L/B/H)

24,7/15,9/2,4 cm

Gewicht

660 g

Auflage

2006 edition

Sprache

Englisch

ISBN

978-1-85233-947-0

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Agent Technology from a Formal Perspective
  • Produktbild: Agent Technology from a Formal Perspective
  • 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.