Code: 04527497
Temporal Logic: Volume 2
by Dov M. Gabbay, etc., M. Finger, M Reynolds
This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters conti ... more
- Language:
English - Binding: Hardback
- Number of pages: 612
Publisher: Oxford University Press, 2000
- More about this
You might also like
-
For Your Eyes Only
9.77 € -6 % -
Temporal Logic: Volume 1
514.91 € -
Temporal Logic
109.03 € -
My Deepest Heart's Devotions 5
13 € -2 % -
Dentist and a Gentleman
67.27 € -9 % -
The Sixth and Seventh Books of Herodotus: With a Life of Herodotus, an Epitome of His History, a Summary of the Dialect, and Explanatory Notes (1885)
48 € -1 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Temporal Logic: Volume 2
You get 759 loyalty points
Book synopsis
This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.
Book details
Book category Books in English Mathematics & science Mathematics Mathematical foundations
312.98 €
- Full title: Temporal Logic: Volume 2
- Author: Dov M. Gabbay, etc., M. Finger, M Reynolds
- Language: English
- Binding: Hardback
- Number of pages: 612
- EAN: 9780198537687
- ISBN: 0198537689
- ID: 04527497
- Publisher: Oxford University Press
- Weight: 1102 g
- Dimensions: 245 × 164 × 37 mm
- Date of publishing: 30. March 2000
Trending among others
-
Set Theory and the Continuum Hypothesis
11.29 € -24 % -
Alan Turing's Systems of Logic
14.72 € -2 % -
Goedel's Proof
13.40 € -24 % -
Logic: A Very Short Introduction
9.98 € -24 % -
Proofs and Refutations
20.97 € -24 % -
Introduction to Logic and to the Methodology of Deductive Sciences
11.99 € -
Beginner's Guide to Mathematical Logic
22.18 € -25 % -
Foundation Maths
70.39 € -
Teaching Multiplication Using LEGO(R) Bricks
19.56 € -7 % -
Set Theory
25.71 € -9 % -
Naive Set Theory
9.77 € -
Set Theory and Logic
16.73 € -25 % -
Taking Sudoku Seriously
34.89 € -
Naive Set Theory
10.28 € -
Philosophical Applications of Modal Logic
36.81 € -1 % -
How to Read and Do Proofs - An Introduction to Mathematical Thought Processes, Sixth Edition
90.37 € -
Goedel's Proof
66.46 € -
Schaum's Outline of Boolean Algebra and Switching Circuits
24.40 € -17 % -
To Mock a Mockingbird: and Other Logic Puzzles
15.02 € -24 % -
Foundations of Mathematics and Other Logical Essays
17.44 € -
Model Theory
25 € -25 % -
First-order Logic
8.56 € -24 % -
Conceptual Mathematics
67.87 € -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
25.21 € -
Naive Set Theory
11.79 € -25 % -
Category Theory in Context
25 € -25 % -
Introduction to Mathematical Logic
21.58 € -25 % -
Math Mammoth Grade 4-B Worktext
21.07 € -25 % -
Contributions to the Founding of the Theory of Transfinite Numbers
12.80 € -
Lambda-Calculus and Combinators
90.97 € -
Categories for Types
90.97 € -
Illustrated Book of Bad Arguments
12.70 € -24 % -
Limitless Mind
16.83 € -25 % -
Can You Solve My Problems?
11.79 € -25 % -
Foundations of Geometry
9.77 € -
Topoi
21.58 € -25 % -
Categories for the Working Mathematician
56.37 € -9 % -
Undecidable Theories
11.29 € -24 % -
Beginner's Further Guide To Mathematical Logic, A
25.21 € -
Sets for Mathematics
67.87 € -
Algebraic Logic
11.29 € -15 % -
Mathematical Logic
70.39 € -9 % -
Haskell Road to Logic, Maths and Programming
25.11 € -10 % -
Gödel's Incompleteness Theorems
55.36 € -9 % -
From Frege to Goedel
60 € -
Interactive Theorem Proving and Program Development
85.42 € -9 % -
Lattice Theory: Foundation
79.98 € -
Handbook of Epistemic Logic
29.75 € -10 % -
Introduction to Modern Set Theory
11.29 €
Collection points Bratislava a 12825 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25654 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)