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
Fastbooks book price: 311.75 EUR
(price updated on 14.06.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: 96.03 EUR Show book details	Physically-Based Modeling for Computer Graphics: A Structured Approach: A Structured Approach Price: 74.13 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: 146.61 EUR Show book details	Numerical Time-Dependent Partial Differential Equations for Scientists and Engineers Price: 150.86 EUR Show book details
Numerical Methods for Linear Control Systems Price: 96.12 EUR Show book details	Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science Price: 63.30 EUR Show book details
Computing With Mathematica Price: 106.14 EUR Show book details	Handbook of Mathematical Formulas and Integrals Price: 53.91 EUR Show book details
Elementary Number Theory with Applications, Student Solutions Manual Price: 50.08 EUR Show book details	Probability Models for Computer Science Price: 109.51 EUR Show book details
Hidden Semi-Markov Models: Theory, Algorithms and Applications Price: 34.90 EUR Show book details	Uncertain Rule-Based Fuzzy Logic Systems: Introduction and New Directions Price: 116.26 EUR Show book details
Array Signal Processing: Concepts and Techniques Price: 82.75 EUR Show book details	Discrete Mathematics for Computer Scientists Price: 173.55 EUR Show book details
Automata Computability and Complexity: Theory and Applications Price: 257.82 EUR Show book details	Elements of the Theory of Computation Price: 231.70 EUR Show book details
Graph Drawing: Algorithms for the Visualization of Graphs Price: 200.52 EUR Show book details	Fundamentals of Algorithmics: United States Edition Price: 256.13 EUR Show book details
The Essence of Discrete Mathematics Price: 60.65 EUR Show book details	Bayesian Methods for Hackers: Probabilistic Programming and Bayesian Inference Price: ~~34.66 EUR~~ 32.44 EUR Show book details