Books by Colin Stirling

8 books found

Modal and Temporal Properties of Processes

Modal and Temporal Properties of Processes

20011 ed.
Modal and Temporal Properties of Processes (Texts in Computer Science)

Modal and Temporal Properties of Processes (Texts in Computer Science)

20011 ed.
Comparing linear and branching time temporal logics

Comparing linear and branching time temporal logics

19871 ed.
Local model checking in the Modal Mu-Calculus

Local model checking in the Modal Mu-Calculus

19891 ed.
Proof, language, and interaction

Proof, language, and interaction

20004 ed.
Great Drives in Lakes and Dales

Great Drives in Lakes and Dales

19991 ed.
Stirling Moss

Stirling Moss

19931 ed.
PERSPECTA 16

PERSPECTA 16

19801 ed.