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