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 - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642206733 - 4 de mayo de 2011
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
Mex$ 1.150
sin IVA

Pedido desde almacén remoto

Entrega prevista 28 de jul. - 13 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Ron Van Der Meyden
Añadir a tu lista de deseos de iMusic

Aún no valorado

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 4 de mayo de 2011
ISBN13 9783642206733
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 131
Dimensiones 155 × 235 × 13 mm   ·   226 g
Lengua Francés  
Editor Smaus, Jan-Georg
Editor Van Der Meyden, Ron

Mas por Ron Van Der Meyden

Mostrar todo

Más del mismo editor