Home
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2 by Dov M Gabbay, Hardcover | Indigo Chapters
Coles
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, and additional information please contact Coles
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
You May Also Like
More About Coles at Bramalea City Centre
Making Connections. Creating Experiences. We exist to add a little joy to our customers’ lives, each time they interact with us.
Store Info
