Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in Theoretical Computer Science Book 58)

5.69 MiB

Download ready in 3s