Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II - Lecture Notes in Computer Science - - Libros - Springer Nature Switzerland AG - 9783030532901 - 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 II - 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

683 pages, 94 Illustrations, color; 625 Illustrations, black and white; XVIII, 683 p. 719 illus., 94

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

Mere med samme udgiver