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 - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540741275 - 9 de agosto de 2007
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 65,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 8 - 27 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 9 de agosto de 2007
ISBN13 9783540741275
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 185
Dimensiones 155 × 235 × 10 mm   ·   312 g
Editor Edelkamp, Stefan
Editor Lomuscio, Alessio

Mere med samme udgiver

Ver todo de Stefan Edelkamp ( Ej. Paperback Book y Hardcover Book )