Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III - Lecture Notes in Computer Science -  - Libros - Springer International Publishing AG - 9783031656323 - 26 de julio de 2024
En caso de que portada y título no coincidan, el título será el correcto

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III - Lecture Notes in Computer Science 2024 edition

Precio
Mex$ 782
sin IVA

Pedido desde almacén remoto

Entrega prevista 4 - 14 de ago.
Añadir a tu lista de deseos de iMusic

Aún no valorado

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 26 de julio de 2024
ISBN13 9783031656323
Editores Springer International Publishing AG
Páginas 582
Dimensiones 150 × 220 × 10 mm   ·   843 g
Lengua Alemán  
Editor Ganesh, Vijay
Editor Gurfinkel, Arie

Más del mismo editor