Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I

This open access proceedings set constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. .

Detalles Bibliográficos
Otros Autores: Enea, Constantin. editor (editor), Lal, Akash. editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: Cham : Springer Nature Switzerland 2023.
Edición:1st ed. 2023.
Colección:Lecture Notes in Computer Science, 13964
Materias:
Software engineering.
Artificial intelligence.
Algorithms.
Computer engineering.
Computer networks.
Software Engineering.
Artificial Intelligence.
Design and Analysis of Algorithms.
Computer Engineering and Networks.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009762668406719
Descripción
Sumario:This open access proceedings set constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. .
Descripción Física:1 online resource (XXXI, 488 p. 160 illus., 121 illus. in color.)
ISBN:9783031377068
Acceso:Open Access

Ejemplares similares