Recomienda este artículo a tus amigos:
Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I - Lecture Notes in Computer Science
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 24 de enero de 2025 |
| ISBN13 | 9783031826993 |
| Editores | Springer International Publishing AG |
| Páginas | 238 |
| Dimensiones | 235 × 155 × 21 mm · 388 g |
| Lengua | Alemán |
| Editor | Sankaranarayanan, Sriram |
| Editor | Shankaranarayanan, Krishna |
| Editor | Trivedi, Ashutosh |