Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings - Lecture Notes in Computer Science 1st ed. 2017 edition

Name: Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings - Lecture Notes in Computer Science
Price: 957 MXN
Availability: OutOfStock

Precio

Mex$ 957

sin IVA

Pedido desde almacén remoto

Entrega prevista 10 - 22 de jul.

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

Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings - Lecture Notes in Computer Science

1st ed. 2017 edition

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions.

482 pages, 106 Illustrations, black and white; XIX, 482 p. 106 illus.

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	4 de octubre de 2017
ISBN13	9783319681665
Editores	Springer International Publishing AG
Páginas	482
Dimensiones	150 × 220 × 10 mm · 7,55 kg
Lengua	Alemán
Editor	D'Souza, Deepak
Editor	Narayan Kumar, K.