Home
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2 by Dov M Gabbay, Hardcover | Indigo Chapters
Loading Inventory...
Indigo
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2 by Dov M Gabbay, Hardcover | Indigo Chapters
From Dov M Gabbay
Current price: $517.50
![Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2 by Dov M Gabbay, Hardcover | Indigo Chapters](https://dynamic.indigoimages.ca/books/9780198537687.jpg?scaleup=true&width=600&quality=85&lang=en)
![Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2 by Dov M Gabbay, Hardcover | Indigo Chapters](https://dynamic.indigoimages.ca/books/9780198537687.jpg?scaleup=true&width=600&quality=85&lang=en)
Indigo
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2 by Dov M Gabbay, Hardcover | Indigo Chapters
From Dov M Gabbay
Current price: $517.50
Loading Inventory...
Size: 3.7 x 23.4 x 940
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Indigo
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, coveringautomata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning. | Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2 by Dov M Gabbay, Hardcover | Indigo Chapters