Produktbild
Mehdi (Hrsg.) Dastani

Specification and Verification of Multi-agent Systems

Ebook (PDF Format)

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems.Chapters include: ? Using Theorem Proving to Verify Properties of Agent Programs ? The Refinement of Multi-Agent Systems ? Model Checking Agent Communication ? Directions… Mehr

CHF 183.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Hindriks, Koen V. (Hrsg.) / Meyer, John-Jules (Hrsg.)
  • ISBN: 978-1-4419-6984-2
  • EAN: 9781441969842
  • Produktnummer: 13796064
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2010
  • Seitenangabe: 405 S.
  • Plattform: PDF
  • Masse: 5'324 KB
  • Auflage: 2010
  • Abbildungen: Bibliographie

36 weitere Werke von Mehdi (Hrsg.) Dastani:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.