Temporal Logics in Computer Science: Finite-State S... by Lange, Martin Hardback

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

Contemporary Mathematics / Categories In Computer Science And Logic Vol.92

Temporal Logics in Computer Science: Finite-State Systems: 58 (C

Mogavero - Logics in Computer Science A Study on Extensions of Tempo - X555z

Logic in Computer Science Vol.4 Semantic Modelling HC Abramsky Gabbay Maibaum

Logic in Computer Science: Modelling and Reasoning about Systems

Lecture Notes In Computer Science Anne Mulkers Live Data Structures In Logic Pro