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