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