Verified Software. Theories, Tools and Experiments: 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers - Lecture Notes in Computer Science -  - Libros - Springer Nature Switzerland AG - 9783032273390 - 7 de agosto de 2026
En caso de que portada y título no coincidan, el título será el correcto

Verified Software. Theories, Tools and Experiments: 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers - Lecture Notes in Computer Science

Precio
Mex$ 952
sin IVA
Entrega prevista 17 - 20 de ago.
Añadir a tu lista de deseos de iMusic
Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Pendiente de lanzamiento 7 de agosto de 2026
ISBN13 9783032273390
Editores Springer Nature Switzerland AG
Páginas 101
Dimensiones 150 × 220 × 10 mm   ·   190 g
Editor Kosaian, Katherine
Editor Pit-Claudel, Clement

Más del mismo editor