Advances in Temporal Logic
Paperback
$169.99
By Howard Barringer (Editor), Michael Fisher (Editor), Dov M. Gabbay (Editor), Graham Gough (Editor)
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Select a store to view item availability.
Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong...

















![Zen and the Art of Motorcycle Maintenance [50th Anniversary Edition]: An Inquiry into Values](https://cdn.shopify.com/s/files/1/0674/5433/7265/files/9780063342330_p0.jpg?v=1765252881&width=100&height=151&crop=center)




