Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I

Código QR

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.

Detalles Bibliográficos
Autor principal:	Gurfinkel, Arie (-)
Otros Autores:	Ganesh, Vijay
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	Cham : Springer Nature Switzerland 2024.
Edición:	1st ed. 2024.
Colección:	Lecture Notes in Computer Science, 14681
Materias:	Software engineering. Artificial intelligence. Algorithms. Software Engineering. Artificial Intelligence. Design and Analysis of Algorithms.
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009845837906719

Descripción
Sumario:	This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.
Descripción Física:	1 online resource (523 pages)
ISBN:	9783031656279