Model Checking and Artificial Intelligence: 6th International Workshop, Mochart 2010, Atlanta, Ga, Usa, July 11, 2010, Revised Selected and Invited Pa.

Bestandsnummer des Verk�ufers BBS-9783642206733

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Model Checking and Artificial Intelligence: 6th International Workshop, Mochart 2010, Atlanta, Ga, Usa, July 11, 2010, Revised Selected and Invited Pa (Paperback or Softback)
Verlag: Springer 5/4/2011
Erscheinungsjahr: 2011
Sprache: Englisch
ISBN-10: 3642206735
ISBN-13: 9783642206733
Einband: Paperback or Softback
Zustand: New
Gewicht: 0,5�Pfund
Buchtyp: Book

�ber diesen Titel

Inhaltsangabe

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.

Von der hinteren Coverseite

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Save up to 90% on your favorite items at BargainBookStores.com! Our 20,000 square foot warehouse in Grand Rapids, Michigan is filled with hundreds of thousands of books and consumer goods, all at the lowest prices! We've been serving internet customers with great deals since 2001. All books ship from Grand Rapids, Michigan. 100% Customer Satisfaction Guaranteed We want to ensure your satisfaction. If you are dissatisfied with your purchase or shopping experience, we would like to hear from you. Please contact us by email: cs@bargainbookstores.com. Please be sure to include your contact information and order number. We do not charge a restocking fee for returns. Your Privacy BargainBookStores.com does not provide, sell or market customer information to other businesses or organizations.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

BargainBookStores
3423 Lousma Dr SE, Grand Rapids, MI, 49548, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

BargainBookStores guarantees 100% Customer Satisfaction. We ship worldwide and offer a variety of shipping methods to meet your needs. Please place your order directly via ABEBooks.com. We accept payment by MasterCard and Visa. For more information, contact us by email at cs@bargainbookstores.com. Full contact info is below:

BargainBookStores.com LLC
3423 Lousma Dr SE
Grand Rapids, MI 49548

Widerrufsbelehrung

Versandbedingungen

We will ship to all domestic and most international destinations.

Please note: Shipping times are estimated and are not guaranteed by BargainBookStores.

Versandkosten innerhalb von USA

Versandkosten innerhalb von USA
Bestellmenge	4 bis 10�Werktage	4 bis 9�Werktage
Erster Artikel	EUR 0.00	EUR 34.04

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.