Recomienda este artículo a tus amigos:
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
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
| 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 |