Stephane Demri & Valentin Goranko Temporal Logics in Computer Science Finite-State Systems
Supporto
€134.38
Lingua Inglese ● Formato PDF ● ISBN 9781316728567 ● Casa editrice Cambridge University Press ● Pubblicato 2016 ● Scaricabile 3 volte ● Moneta EUR ● ID 5691251 ● Protezione dalla copia Adobe DRM