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
$ 54,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 21 de jul. - 3 de ago.

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 )