
Computer Aided Verification
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Sinopsis
Acerca de este libro
- Idioma:English
- ISBN:9783319415406
- Fecha de lanzamiento:13 jul 2016
- Editorial:Springer International Publishing
- Edición:Springer
- Formato de archivo:EPUB2
- Tamaño de archivo:8.40 MB
- Opciones de descarga:EPUB2 (Adobe DRM)






























































































