Stephane Demri & Valentin Goranko Temporal Logics in Computer Science Finite-State Systems
Ondersteuning
€134.38
Taal Engels ● Formaat PDF ● ISBN 9781316728567 ● Uitgeverij Cambridge University Press ● Gepubliceerd 2016 ● Downloadbare 3 keer ● Valuta EUR ● ID 5691251 ● Kopieerbeveiliging Adobe DRM