Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783031787089 - 1 de febrero de 2025
En caso de que portada y título no coincidan, el título será el correcto

Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I - Lecture Notes in Computer Science

Precio
$ 138,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

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 1 de febrero de 2025
ISBN13 9783031787089
Editores Springer International Publishing AG
Páginas 304
Dimensiones 150 × 220 × 10 mm   ·   493 g
Lengua Alemán  
Editor Akshay, S.
Editor Niemetz, Aina
Editor Sankaranarayanan, Sriram

Mere med samme udgiver