Books · Search
Parallel processing (Electronic computers) · Verification
A survey of verification techniques for parallel programs
1985
Computer logic · Congresses
Advances in temporal logic
1999
Development · Computer software
The Imperative future
1996
Logic, symbolic and mathematical · Logic
Advances in Temporal Logic
2010
Programming languages (electronic computers)
Book of Scratch
2011
Temporal Logic in Specification
2007
Runtime Verification
Computer programs · Parallel processing (Electronic computers)
Logic design · Computer science
The Imperative Future
Up and down the temporal way
Symbolic and mathematical Logic · System design
Temporal logic in specification
1989
Science/Mathematics
Q-Baltimore and Ohio Railroad Q-Class Mikado Locomotives
1978
