Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783319633893 - 13 de julio de 2017
En caso de que portada y título no coincidan, el título será el correcto

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II - Lecture Notes in Computer Science 1st ed. 2017 edition

Precio
Mex$ 957
sin IVA

Pedido desde almacén remoto

Entrega prevista 6 - 16 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

623 pages, 146 Illustrations, black and white; XVII, 623 p. 146 illus.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 13 de julio de 2017
ISBN13 9783319633893
Editores Springer International Publishing AG
Páginas 623
Dimensiones 237 × 159 × 36 mm   ·   948 g
Lengua Alemán  
Editor Kuncak, Viktor
Editor Majumdar, Rupak

Mere med samme udgiver