Stephane Demri & Valentin Goranko Temporal Logics in Computer Science Finite-State Systems
Ajutor
€133.28
Limba Engleză ● Format EPUB ● ISBN 9781316727164 ● Editura Cambridge University Press ● Publicat 2016 ● Descărcabil 3 ori ● Valută EUR ● ID 5691236 ● Protecție împotriva copiilor Adobe DRM
Necesită un cititor de ebook capabil de DRM
Mai multe cărți electronice de la același autor (i) / Editor