Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I - Lecture Notes in Computer Science -  - Libros - Springer International Publishing AG - 9783031656262 - 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 I - Lecture Notes in Computer Science 2024 edition

Precio
Mex$ 781
sin IVA

Pedido desde almacén remoto

Entrega prevista 3 - 13 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 9783031656262
Editores Springer International Publishing AG
Páginas 498
Dimensiones 150 × 220 × 10 mm   ·   797 g
Lengua Alemán  
Editor Ganesh, Vijay
Editor Gurfinkel, Arie

Más del mismo editor