Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I - Lecture Notes in Computer Science - - Libros - Springer Nature Switzerland AG - 9783030532871 - 16 de julio de 2020
En caso de que portada y título no coincidan, el título será el correcto

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I - Lecture Notes in Computer Science 1st ed. 2020 edition

Precio
$ 45,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 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

669 pages, 117 Illustrations, color; 499 Illustrations, black and white; XVII, 669 p. 616 illus., 11

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 16 de julio de 2020
ISBN13 9783030532871
Editores Springer Nature Switzerland AG
Páginas 669
Dimensiones 150 × 220 × 10 mm   ·   1,04 kg
Lengua Alemán  
Editor Lahiri, Shuvendu K.
Editor Wang, Chao

Mere med samme udgiver