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

Código QR

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

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, 14682
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/alma991009845838006719

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 (447 pages)
ISBN:	9783031656309