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: -2 %
Fastbooks book price: 269.88 EUR
(price updated on 03.04.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: 93.33 EUR Show book details	Physically-Based Modeling for Computer Graphics: A Structured Approach: A Structured Approach Price: 72.04 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: 142.49 EUR Show book details	Numerical Time-Dependent Partial Differential Equations for Scientists and Engineers Price: 145.08 EUR Show book details
Numerical Methods for Linear Control Systems Price: 93.11 EUR Show book details	Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science Price: 61.33 EUR Show book details
Computing With Mathematica Price: 103.16 EUR Show book details	Handbook of Mathematical Formulas and Integrals Price: 52.38 EUR Show book details
Elementary Number Theory with Applications, Student Solutions Manual Price: 48.69 EUR Show book details	Probability Models for Computer Science Price: 106.44 EUR Show book details
Hidden Semi-Markov Models: Theory, Algorithms and Applications Price: 33.92 EUR Show book details	Uncertain Rule-Based Fuzzy Logic Systems: Introduction and New Directions Price: 112.99 EUR Show book details
Array Signal Processing: Concepts and Techniques Price: 80.23 EUR Show book details	Discrete Mathematics for Computer Scientists Price: 168.68 EUR Show book details
Automata Computability and Complexity: Theory and Applications Price: 250.57 EUR Show book details	Elements of the Theory of Computation Price: 225.19 EUR Show book details
Graph Drawing: Algorithms for the Visualization of Graphs Price: 194.89 EUR Show book details	Fundamentals of Algorithmics: United States Edition Price: 248.93 EUR Show book details
The Essence of Discrete Mathematics Price: 58.94 EUR Show book details	Bayesian Methods for Hackers: Probabilistic Programming and Bayesian Inference Price: 48.30 EUR Show book details