Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I
Sinopsis
Acerca de este libro
- Idioma:English
- ISBN:9783031377068
- Fecha de lanzamiento:16 jul 2023
- Editorial:Springer Nature Switzerland
- Edición:Springer
- Formato de archivo:EPUB3
- Tamaño de archivo:42.10 MB
- Opciones de descarga:EPUB3 (Adobe DRM)
