Model Checking and Artificial Intelligence

Sprache: Englisch

Verlag: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011

3642206735 / 9783642206733

Anbieter: Rarewaves.com UK, London, Vereinigtes KönigreichRarewaves.com UK

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 11. Juni 2025

Softcover

Zustand: Neu

EUR 63,61

EUR 76,94 Versand 
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. The 7 papers presented were carefully reviewed and selected for inclusion in this book. In addition, the book also contains an extended abstract of the invited talk held at the workshop. The topics covered by these papers are general search algorithms, application of AI techniques to automated program verification, multiagent systems and epistemic logic, abstraction, epistemic model checking, and theory of model checking.

Bestandsnummer des Verkäufers LU-9783642206733

Titel
Model Checking and Artificial Intelligence
Autor
Ron van der Meyden, Jan-Georg Smaus
Verlag
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE
Erscheinungsjahr
2011
Zustand
New
Einband
Paperback
Sprache
Englisch
ISBN-10
3642206735
ISBN-13
9783642206733
Auflage
2011th.
Artikelgewicht
204 Gramm
Abmessungen
15.49 x 0.84 x 23.5 cm

Rarewaves.com UK

London, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 11. Juni 2025

Versandkosten von Vereinigtes Königreich nach USA

Artikel60 bis 60 Werktage60 bis 60 Werktage
Erster ArtikelEUR 76,94EUR 118,37
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Vereinigtes Königreich W1W 8BE