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

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

The open access proceedings set LNCS 13964, 13965, 13966 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
Autor principal: Enea, Constantin (-)
Otros Autores: Lal, Akash
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, 13965
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/alma991009762668506719
Descripción
Sumario:The open access proceedings set LNCS 13964, 13965, 13966 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 (473 pages)
ISBN:9783031377037
Acceso:Open Access

Ejemplares similares