Temporal Logic Mathematical Foundations and Computational Aspects Volume 2

, by ; ;
Temporal Logic Mathematical Foundations and Computational Aspects Volume 2 by Gabbay, Dov. M.; Reynolds, Mark A.; Finger, Marcelo, 9780198537687
Write a Review
Note: Supplemental materials are not guaranteed with Rental or Used book purchases.
  • ISBN: 9780198537687 | 0198537689
  • Cover: Hardcover
  • Copyright: 6/1/2000

  • Rent

    (Recommended)

    $270.32
     
    Term
    Due
    Price
    *This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.

  • Buy New

    Usually Ships in 3-5 Business Days

    $388.76

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.
Loading Icon

Please wait while the item is added to your bag...
Continue Shopping Button
Checkout Button
Loading Icon
Continue Shopping Button