Temporal Logics in Computer Science : Finite-State Systems Lange, Martin Goranko, Valentin Demri, Stephane , Paris) 9781107028364 Cambridge Tracts in Theoretical Computer Science Innbundet 13.10.2016 Engelsk Midlertidig utsolgt
