Temporal Logic. Vol. 2 Mathematical Foundations and Computational Aspects

Author: Dov M Gabbay, Dov M. Gabbay, Marcelo Finger, Mark Reynolds

hardback
Category: Mathematical Theory Of Computation
Oxford University Press
Regular book price: ~~277.16 EUR~~
Discount: -3 %
Fastbooks book price: 268.68 EUR
(price updated on 31.01.2026)

Free delivery to EU countries (and more) more

Reader's comments and book reviews: Amazon

View and order

Books from category Mathematical Theory Of Computation

More than books

Scientific Computing Price: 92.92 EUR Show book details	Physically-Based Modeling for Computer Graphics: A Structured Approach: A Structured Approach Price: 71.72 EUR Show book details
Life-Cycle Savings and Public Policy: A Cross-National Study of Six Countries: A Cross-National Study of Six Countries Price: 141.86 EUR Show book details	Numerical Time-Dependent Partial Differential Equations for Scientists and Engineers Price: 144.44 EUR Show book details
Numerical Methods for Linear Control Systems Price: ~~93.29 EUR~~ 92.70 EUR Show book details	Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science Price: 61.06 EUR Show book details
Computing With Mathematica Price: 102.71 EUR Show book details	Handbook of Mathematical Formulas and Integrals Price: 52.15 EUR Show book details
Elementary Number Theory with Applications, Student Solutions Manual Price: 48.47 EUR Show book details	Probability Models for Computer Science Price: 105.97 EUR Show book details
Hidden Semi-Markov Models: Theory, Algorithms and Applications Price: 33.77 EUR Show book details	Uncertain Rule-Based Fuzzy Logic Systems: Introduction and New Directions Price: 112.49 EUR Show book details
Array Signal Processing: Concepts and Techniques Price: 79.87 EUR Show book details	Discrete Mathematics for Computer Scientists Price: 167.94 EUR Show book details
Automata Computability and Complexity: Theory and Applications Price: 249.47 EUR Show book details	Elements of the Theory of Computation Price: 224.20 EUR Show book details
Graph Drawing: Algorithms for the Visualization of Graphs Price: 194.03 EUR Show book details	Fundamentals of Algorithmics: United States Edition Price: 247.84 EUR Show book details
The Essence of Discrete Mathematics Price: 58.68 EUR Show book details	Bayesian Methods for Hackers: Probabilistic Programming and Bayesian Inference Price: 48.09 EUR Show book details