Model Checking, second edition
Sinopsis
Categorías
Acerca de este libro
- Idioma:English
- ISBN:9780262349451
- Fecha de lanzamiento:1 jul 2020
- Editorial:MIT Press
- Edición:The MIT Press
- Formato de archivo:EPUB3
- Tamaño de archivo:15.54 MB
- Opciones de descarga:EPUB3 (Adobe DRM)
