Oxford University Press
Temporal Logic
Subjects: Mathematical logic,
Maths & Science
ISBN13: 9780198537687
Published: 01 Jun 2000
Format - Hardback
Usually ready in 6-10 weeks.
Regular price
A$601.50
Sale price
A$601.50
Regular price
A$620.10
Temporal Logic
Regular price
A$601.50
Sale price
A$601.50
Regular price
A$620.10
Product description
Shipping & Return
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.