Temporal Logic
Usually ready in 6-10 weeks.
Temporal Logic
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.
Shipping cost is based on weight. Just add products to your cart and use the Shipping Calculator to see the shipping price.
We want you to be 100% satisfied with your purchase. Items can be returned or exchanged within 30 days of delivery.