Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings - Theoretical Computer Science and General Issues - Ahmed Bouajjani - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642026577 - 19 de junio de 2009
En caso de que portada y título no coincidan, el título será el correcto

Ahmed Bouajjani
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings - Theoretical Computer Science and General Issues 2009 edition

Precio
$ 106,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 14 - 27 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

The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions.

737 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 19 de junio de 2009
ISBN13 9783642026577
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 722
Dimensiones 155 × 235 × 25 mm   ·   1,02 kg
Lengua Francés  
Editor Bouajjani, Ahmed
Editor Maler, Oded

Mere med samme udgiver

Ver todo de Ahmed Bouajjani ( Ej. Paperback Book )