Dov M Gabbay, Dov M. Gabbay, Marcelo Finger, Mark Reynolds: Temporal Logic. Vol. 2 Mathematical Foundations and Computational Aspects

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: -1 %
Discounted book price: 271.83 EUR
(price updated on 20.08.2025)

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.72 EUR Show book details	Physically-Based Modeling for Computer Graphics: A Structured Approach: A Structured Approach Price: 72.34 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: 143.09 EUR Show book details	Numerical Time-Dependent Partial Differential Equations for Scientists and Engineers Price: 147.24 EUR Show book details
Numerical Methods for Linear Control Systems Price: 93.82 EUR Show book details	Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science Price: 61.78 EUR Show book details
Computing With Mathematica Price: 103.59 EUR Show book details	Handbook of Mathematical Formulas and Integrals Price: 52.60 EUR Show book details
Elementary Number Theory with Applications, Student Solutions Manual Price: 48.88 EUR Show book details	Probability Models for Computer Science Price: 106.89 EUR Show book details
Hidden Semi-Markov Models: Theory, Algorithms and Applications Price: 34.06 EUR Show book details	Uncertain Rule-Based Fuzzy Logic Systems: Introduction and New Directions Price: 113.46 EUR Show book details
Array Signal Processing: Concepts and Techniques Price: 80.77 EUR Show book details	Discrete Mathematics for Computer Scientists Price: 169.39 EUR Show book details
Automata Computability and Complexity: Theory and Applications Price: 251.62 EUR Show book details	Elements of the Theory of Computation Price: 226.14 EUR Show book details
Graph Drawing: Algorithms for the Visualization of Graphs Price: 195.70 EUR Show book details	Fundamentals of Algorithmics: United States Edition Price: 249.98 EUR Show book details
The Essence of Discrete Mathematics Price: 59.19 EUR Show book details	Bayesian Methods for Hackers: Probabilistic Programming and Bayesian Inference Price: 48.50 EUR Show book details