Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings - Theoretical Computer Science and General Issues - Aarti Gupta - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540705437 - 17 de junio de 2008
En caso de que portada y título no coincidan, el título será el correcto

Aarti Gupta
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings - Theoretical Computer Science and General Issues 2008 edition

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Aarti Gupta

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

Aún no valorado

Constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. This book features 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials.

558 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de junio de 2008
ISBN13 9783540705437
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 558
Dimensiones 155 × 235 × 33 mm   ·   839 g
Editor Gupta, Aarti
Editor Malik, Sharad

Mas por Aarti Gupta

Mostrar todo

Más del mismo editor

Ver todo de Aarti Gupta ( Ej. Paperback Book )