Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783319415277 - 14 de julio de 2016
En caso de que portada y título no coincidan, el título será el correcto

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I - Lecture Notes in Computer Science 1st ed. 2016 edition

Precio
Mex$ 961
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

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions.

558 pages, 125 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 14 de julio de 2016
ISBN13 9783319415277
Editores Springer International Publishing AG
Páginas 541
Dimensiones 155 × 235 × 29 mm   ·   8,37 kg
Lengua Alemán  
Editor Chaudhuri, Swarat
Editor Farzan, Azadeh

Mere med samme udgiver