Model Checking Software
26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Sinopsis
Categorías
Acerca de este libro
- Idioma:English
- ISBN:9783030309237
- Fecha de lanzamiento:2 oct 2019
- Editorial:Springer International Publishing
- Edición:Springer
- Formato de archivo:EPUB3
- Tamaño de archivo:12.90 MB
- Opciones de descarga:EPUB3 (Adobe DRM)
