Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Sinopsis
Acerca de este libro
- Idioma:English
- ISBN:9783319961422
- Fecha de lanzamiento:20 jul 2018
- Editorial:Springer International Publishing
- Edición:Springer
- Formato de archivo:EPUB2
- Tamaño de archivo:9.47 MB
- Opciones de descarga:EPUB2 (Adobe DRM)
