Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - Lecture Notes in Computer Science - Stefan Edelkamp - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540741275 - August 9, 2007
In case cover and title do not match, the title is correct

Stefan Edelkamp
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - Lecture Notes in Computer Science 2007 edition

Price
Íkr 8,339
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 9 - 23

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

The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence.

185 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 9, 2007
ISBN13 9783540741275
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 185
Dimensions 155 × 235 × 10 mm   ·   312 g
Editor Edelkamp, Stefan
Editor Lomuscio, Alessio

Mere med samme udgiver

See all of Stefan Edelkamp ( e.g. Paperback Book and Hardcover Book )