Tags
Language
Tags
<<
April 2025
Su Mo Tu We Th Fr Sa
30 31 1 2 3 4 5
6 7 8 9 10 11 12
13 14 15 16 17 18 19
20 21 22 23 24 25 26
27 28 29 30 1 2 3
Attention❗ To save your time, in order to download anything on this site, you must be registered 👉 HERE. If you do not have a registration yet, it is better to do it right away. ✌

( • )( • ) ( ͡⚆ ͜ʖ ͡⚆ ) (‿ˠ‿)
SpicyMags.xyz
  1. Home
  2. eBooks & eLearning
  3. Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2

Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2

Posted By: arundhati
Date: 10 May 2014 18:02:48
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2

Dov M. Gabbay, M. Finger, "Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2"
2000 | ISBN-10: 0198537689 | 612 pages | Djvu | 5,6 MB

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.
keep2share
UPWARDS