Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783031827020 - 23 de enero de 2025
En caso de que portada y título no coincidan, el título será el correcto

Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II - Lecture Notes in Computer Science

Precio
$ 71,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
Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 23 de enero de 2025
ISBN13 9783031827020
Editores Springer International Publishing AG
Páginas 254
Dimensiones 155 × 233 × 17 mm   ·   408 g
Lengua Alemán  
Editor Sankaranarayanan, Sriram
Editor Shankaranarayanan, Krishna
Editor Trivedi, Ashutosh

Mere med samme udgiver