E-Book, Englisch, 0 Seiten
Demri Temporal Logics in Computer Science
Erscheinungsjahr 2016
ISBN: 978-1-316-72716-4
Verlag: Cambridge University Press
Format: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
Finite-State Systems
E-Book, Englisch, 0 Seiten
Reihe: Cambridge Tracts in Theoretical Computer Science
ISBN: 978-1-316-72716-4
Verlag: Cambridge University Press
Format: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)