E-Book, Englisch, 0 Seiten
Demri Temporal Logics in Computer Science
Erscheinungsjahr 2016
ISBN: 978-1-316-72856-7
Verlag: Cambridge University Press
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
Finite-State Systems
E-Book, Englisch, 0 Seiten
ISBN: 978-1-316-72856-7
Verlag: Cambridge University Press
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)