Hardback (30 Mar 2000)
Save $28.26
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
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.
| ISBN: | 9780198537687 |
| Publisher: | OUP OXFORD |
| Imprint: | Oxford University Press |
| Pub date: | 30 Mar 2000 |
| DEWEY: | 005.131 |
| DEWEY edition: | 21 |
| Language: | English |
| Number of pages: | 597 |
| Weight: | 1102g |
| Height: | 245mm |
| Width: | 164mm |
| Spine width: | 37mm |
$8.66off
Hardback
Published 06 Jul 2023
Save $8.66
$11.91off
Hardback
Published 02 Aug 2023
Save $11.91
$1.55off
Paperback
Published 26 Jul 2023
Save $1.55
$4.47off
Paperback
Published 26 Jun 2023
Save $4.47
