
Model Checking Software
22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Sinopsis
Acerca de este libro
- Idioma:English
- ISBN:9783319234045
- Fecha de lanzamiento:5 jul 2016
- Editorial:Springer International Publishing
- Edición:Springer
- Formato de archivo:EPUB2
- Tamaño de archivo:4.48 MB
- Opciones de descarga:EPUB2 (Adobe DRM)



















































































