Stephane Demri & Valentin Goranko Temporal Logics in Computer Science Finite-State Systems
Destek
Adobe DRM
€133.28
Dil İngilizce ● Biçim PDF ● ISBN 9781316728567 ● Yayımcı Cambridge University Press ● Yayınlanan 2016 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 5691251 ● Kopya koruma Adobe DRM