Temporal Logic: Mathematical Foundations and Computational AspectsVolume 2
This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this book, and its companion are an indispensable reference for both the pure logician and the theoretical computer scientist.
1136858728
Temporal Logic: Mathematical Foundations and Computational AspectsVolume 2
This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this book, and its companion are an indispensable reference for both the pure logician and the theoretical computer scientist.
280.0
Out Of Stock
5
1
Temporal Logic: Mathematical Foundations and Computational AspectsVolume 2
612
Temporal Logic: Mathematical Foundations and Computational AspectsVolume 2
612
280.0
Out Of Stock
Product Details
| ISBN-13: | 9780198537687 |
|---|---|
| Publisher: | Oxford University Press |
| Publication date: | 06/01/2000 |
| Series: | Oxford Logic Guides , #40 |
| Pages: | 612 |
| Product dimensions: | 6.30(w) x 9.30(h) x 1.50(d) |
From the B&N Reads Blog