
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Sinopsis
Acerca de este libro
- Idioma:English
- ISBN:9783031986857
- Fecha de lanzamiento:21 jul 2026
- Editorial:Springer Nature Switzerland
- Edición:Springer
- Formato de archivo:EPUB3
- Tamaño de archivo:38.90 MB
- Opciones de descarga:EPUB3 (Adobe DRM)

































































































