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: -4 %
Fastbooks book price: 265.12 EUR
(price updated on 30.11.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: 91.41 EUR Show book details	Physically-Based Modeling for Computer Graphics: A Structured Approach: A Structured Approach Price: 70.97 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: 139.57 EUR Show book details	Numerical Time-Dependent Partial Differential Equations for Scientists and Engineers Price: 143.61 EUR Show book details
Numerical Methods for Linear Control Systems Price: ~~93.29 EUR~~ 92.02 EUR Show book details	Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science Price: 60.26 EUR Show book details
Computing With Mathematica Price: 101.62 EUR Show book details	Handbook of Mathematical Formulas and Integrals Price: 51.31 EUR Show book details
Elementary Number Theory with Applications, Student Solutions Manual Price: 47.67 EUR Show book details	Probability Models for Computer Science Price: 104.24 EUR Show book details
Hidden Semi-Markov Models: Theory, Algorithms and Applications Price: 33.41 EUR Show book details	Uncertain Rule-Based Fuzzy Logic Systems: Introduction and New Directions Price: 110.66 EUR Show book details
Array Signal Processing: Concepts and Techniques Price: ~~79.25 EUR~~ 78.77 EUR Show book details	Discrete Mathematics for Computer Scientists Price: 166.15 EUR Show book details
Automata Computability and Complexity: Theory and Applications Price: 245.42 EUR Show book details	Elements of the Theory of Computation Price: 220.55 EUR Show book details
Graph Drawing: Algorithms for the Visualization of Graphs Price: 190.87 EUR Show book details	Fundamentals of Algorithmics: United States Edition Price: 243.81 EUR Show book details
The Essence of Discrete Mathematics Price: 57.73 EUR Show book details	Bayesian Methods for Hackers: Probabilistic Programming and Bayesian Inference Price: 47.30 EUR Show book details