Temporal Logics in Computer Science
Finite-State Systems
Sinopsis
Acerca de este libro
- Idioma:English
- ISBN:9781316727164
- Fecha de lanzamiento:13 oct 2016
- Editorial:Cambridge University Press
- Edición:Cambridge University Press
- Formato de archivo:EPUB2
- Tamaño de archivo:124.22 MB
- Opciones de descarga:EPUB2 (Adobe DRM)
