Ganesh Gopalakrishnan
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings - Lecture Notes in Computer Science Ganesh Gopalakrishnan 2011 edition

Name: Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings - Lecture Notes in Computer Science
Price: 960 MXN
Availability: OutOfStock
Author: Ganesh Gopalakrishnan

Precio

Mex$ 960

sin IVA

Pedido desde almacén remoto

Entrega prevista 27 de jul. - 6 de ago.

Recibe notificaciones sobre nuevos lanzamientos de Ganesh Gopalakrishnan

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Aún no valorado

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings - Lecture Notes in Computer Science

Ganesh Gopalakrishnan

2011 edition

Constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011 that was held in Snowbird, UT, USA.

784 pages, 134 black & white illustrations, 46 colour illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	5 de julio de 2011
ISBN13	9783642221095
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	763
Dimensiones	155 × 235 × 39 mm · 1,08 kg
Lengua	Francés
Editor	Gopalakrishnan, Ganesh
Editor	Qadeer, Shaz