Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783319249520 - 22 de noviembre de 2015
En caso de que portada y título no coincidan, el título será el correcto

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings - Lecture Notes in Computer Science 1st ed. 2015 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jun. - 13 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

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions.

484 pages, 96 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 22 de noviembre de 2015
ISBN13 9783319249520
Editores Springer International Publishing AG
Páginas 520
Dimensiones 155 × 235 × 27 mm   ·   8,02 kg
Lengua Alemán  
Editor Finkbeiner, Bernd
Editor Pu, Geguang
Editor Zhang, Lijun

Mere med samme udgiver