Stephane Demri & Valentin Goranko Temporal Logics in Computer Science Finite-State Systems
Support
€133.28
Language English ● Format EPUB ● ISBN 9781316727164 ● Publisher Cambridge University Press ● Published 2016 ● Downloadable 3 times ● Currency EUR ● ID 5691236 ● Copy protection Adobe DRM