Stephane Demri & Valentin Goranko Temporal Logics in Computer Science Finite-State Systems
Apoio
€134.38
Língua Inglês ● Formato PDF ● ISBN 9781316728567 ● Editora Cambridge University Press ● Publicado 2016 ● Carregável 3 vezes ● Moeda EUR ● ID 5691251 ● Proteção contra cópia Adobe DRM