Home » Mathematical Theory of Computation » Temporal Logic: Volume 2
Product Image

Temporal Logic: Volume 2

★★★★★
★★★★★
€272.80
Category=PBCD
Category=UYA
Category=UYF
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_non-fiction

Product details

  • ISBN 9780198537687
  • Weight: 1011g
  • Dimensions: 162 x 242mm
  • Publication Date: 30 Mar 2000
  • Publisher: Oxford University Press
  • Publication City/Country: GB
  • Product Form: Hardback
Delivery/Collection within 10-20 working days

Our Delivery Time Frames Explained
2-4 Working Days: Available in-stock

10-20 Working Days: On Backorder

Will Deliver When Available: On Pre-Order or Reprinting

We ship your order once all items have arrived at our warehouse and are processed. Need those 2-4 day shipping items sooner? Just place a separate order for them!

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