Temporal Logics (Elements in Philosophy and Logic)
from $26.92
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
$46.71
from $44.50
Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing
from $46.99
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2
from $69.99
The Temporal Logic of Reactive and Concurrent Systems: Specification
$88.07
from $38.00
Temporal Logic (LEP Library of Exact Philosophy Book 3)
from $79.99
Temporal Logic, Omniscience, Human Freedom - Perspectives in Analytic Philosophy (Europäische Hochschulschriften / European University Studies / Publications Universitaires Européennes)
from $54.55
Temporal Type Theory (Progress in Computer Science and Applied Logic, 29)
$59.99
from $105.67
Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in Theoretical Computer Science, Series Number 58)
$99.26
from $89.70
An Introduction to Practical Formal Methods Using Temporal Logic
$120.88
from $110.00
More results from Amazon »