Stephane Demri & Valentin Goranko Temporal Logics in Computer Science Finite-State Systems
Stöd
€134.38
Språk Engelska ● Formatera PDF ● ISBN 9781316728567 ● Utgivare Cambridge University Press ● Publicerad 2016 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 5691251 ● Kopieringsskydd Adobe DRM
Kräver en DRM-kapabel e-läsare
Fler e-böcker från samma författare (r) / Redaktör