Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2 by Dov M Gabbay, Hardcover | Indigo Chapters
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

Visit retailer's website
*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

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.

Powered by Adeptmind