Summary goes here
Guardado en:
| Formato: | Libro |
|---|---|
| Lenguaje: | inglés |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 9d7cccc2-032c-4a30-a81b-b8f5d32a44bc |
| isbn | 9783031656309 (online) |
| issn | |
| language | eng |
| physical | |
| publication | – publisher: Springer Nature Switzerland dateOfPublication: 2024 |
| publishDate | 2024 |
| subjects | |
| title | Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II / edited by Arie Gurfinkel, Vijay Ganesh |
| topic | Software engineering. Artificial intelligence. Algorithms. Software Engineering. Artificial Intelligence. Design and Analysis of Algorithms. |