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

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

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
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, 13966
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/alma991009763137006719
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 (XVII, 502 p. 140 illus., 88 illus. in color.)
ISBN:9783031377099
Acceso:Open Access

Ejemplares similares