Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings - Lecture Notes in Computer Science - Madhusudan Parthasarathy - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642314230 - 27 de junio de 2012
En caso de que portada y título no coincidan, el título será el correcto

Madhusudan Parthasarathy
Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings - Lecture Notes in Computer Science 2012 edition

Precio
Mex$ 969
sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 23 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

808 pages, 192 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 27 de junio de 2012
ISBN13 9783642314230
Editores Springer-Verlag Berlin and Heidelberg Gm
Género Aspects (Academic) > Science / Technology Aspects
Páginas 789
Dimensiones 155 × 235 × 40 mm   ·   1,11 kg
Lengua Francés  
Editor Parthasarathy, Madhusudan
Editor Seshia, Sanjit A.

Mere med samme udgiver

Ver todo de Madhusudan Parthasarathy ( Ej. Paperback Book )