Gutscheinbedingungen

**Gültig vom 15.06.2026 bis 17.06.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Maximaler rabattfähiger Warenkorbwert 500 € | Nicht kombinierbar mit weiteren Aktionen | Nur einmal pro Person einlösbar | Nur solange der Vorrat reicht

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 GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

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