Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers - Lecture Notes in Computer Science - Ron Van Der Meyden - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642206733 - May 4, 2011
In case cover and title do not match, the title is correct

Ron Van Der Meyden
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers - Lecture Notes in Computer Science

Price
$ 65.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 16 - 28
Get notified about new Ron Van Der Meyden releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

131 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 4, 2011
ISBN13 9783642206733
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 131
Dimensions 155 × 235 × 13 mm   ·   226 g
Language French  
Editor Smaus, Jan-Georg
Editor Van Der Meyden, Ron

More by Ron Van Der Meyden

Show all

More from the same publisher

See all of Ron Van Der Meyden ( e.g. Paperback Book )