Stephane Demri & Valentin Goranko Temporal Logics in Computer Science Finite-State Systems
Soporte
€134.38
Idioma Inglés ● Formato PDF ● ISBN 9781316728567 ● Editorial Cambridge University Press ● Publicado 2016 ● Descargable 3 veces ● Divisa EUR ● ID 5691251 ● Protección de copia Adobe DRM