
Temporal Logics in Computer Science
Finite-State Systems
Synopsis
Om denne bog
- Sprog:English
- ISBN:9781316727164
- Udgivelsesdato:28. sep. 2016
- Udgiver:Cambridge University Press
- Tryk:Cambridge University Press
- Filformat:EPUB2
- Filstørrelse:124.22 MB
- Downloadmuligheder:EPUB2 (Adobe DRM)


















































