
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Sinopsis
Acerca de este libro
- Idioma:English
- ISBN:9783319216683
- Fecha de lanzamiento:14 jul 2015
- Editorial:Springer International Publishing
- Edición:Springer
- Formato de archivo:EPUB2
- Tamaño de archivo:7.90 MB
- Opciones de descarga:EPUB2 (Adobe DRM)

















































