Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783031131844 - 8 de agosto de 2022
En caso de que portada y título no coincidan, el título será el correcto

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I - Lecture Notes in Computer Science 1st ed. 2022 edition

Precio
$ 45,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 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

555 pages, 110 Illustrations, color; 288 Illustrations, black and white; XIX, 555 p. 398 illus., 110

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 8 de agosto de 2022
ISBN13 9783031131844
Editores Springer International Publishing AG
Páginas 555
Dimensiones 150 × 220 × 10 mm   ·   872 g
Lengua Alemán  
Editor Shoham, Sharon
Editor Vizel, Yakir

Mere med samme udgiver