The following text field will produce suggestions that follow it as you type.

Loading Inventory...

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
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

Buy OnlineGet it at Coles
*Product information may vary - to confirm product availability, pricing, shipping and return 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 Village Green Shopping Centre

Find everything in-store including new, used and children’s books, music, movies, games and toys. Visit Coles today to find the perfect gift, or a novel for yourself. COVID-19 UPDATE: Open | Regular Centre Hours

Powered by Adeptmind