Produktbild: Agent Technology from a Formal Perspective

Agent Technology from a Formal Perspective

139,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.10.2010

Herausgeber

Christopher Rouff

Verlag

Springer London

Seitenzahl

354

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

563 g

Auflage

Softcover reprint of hardcover 1st edition 2006

Sprache

Englisch

ISBN

978-1-84996-969-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.10.2010

Herausgeber

Christopher Rouff

Verlag

Springer London

Seitenzahl

354

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

563 g

Auflage

Softcover reprint of hardcover 1st edition 2006

Sprache

Englisch

ISBN

978-1-84996-969-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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
  • 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.