close
Temporal Logic | Zookal Textbooks | Zookal Textbooks
  • Author(s) Dov M Gabbay / M. Finger / M. Reynolds
  • SubtitleMathematical Foundations and Computational Aspects: Volume 2
  • Edition
  • Published1st June 2000
  • PublisherOxford University Press UK
  • ISBN9780198537687

Mathematical Foundations and Computational Aspects: Volume 2

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.

Temporal Logic

Format
Print on Demand

Leaves 10-15 days after printing

$337.94 $383.00 Save $45.06
or 4 payments of $84.48 with Zookal accepts Afterpay
Add Zookal Study FREE trial and save a further 10% 

NEW PRICE

$304.15 + free shipping

(10% off - save $33.79)

Zookal Study Free trial

14-day FREE trial. $14.95/mo after. Cancel anytime.

*Discount will apply at checkout.

 See terms and conditions

You will get a further 10% off for this item ($304.15 after discount) because you have added Zookal Study Premium Free Trial to your bag.

For this discount to apply, you will need to complete checkout with the Zookal Study Premium Free Trial in your bag.

-
+
  • Author(s) Dov M Gabbay / M. Finger / M. Reynolds
  • SubtitleMathematical Foundations and Computational Aspects: Volume 2
  • Edition
  • Published1st June 2000
  • PublisherOxford University Press UK
  • ISBN9780198537687

Mathematical Foundations and Computational Aspects: Volume 2

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.
translation missing: en.general.search.loading