Placeholder text

Go to cart

Temporal Logic

By Gabbay, Dov M.

Temporal Logic

By Gabbay, Dov M.

0 - Default Title
Description
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.
Product details
Edition:
1
Number of Pages:
612
Release Date:
2000-06-01
Publication Date:
2000-03-30
Publisher:
OUP Oxford
Languages:
Original: English
ISBN10:
0198537689
ISBN13:
9780198537687
GPSR Manufacturer Reference:
[email protected]
Weight:
1074 g
Height:
161 cm
Width:
240 cm
Thickness:
37 cm
Buy on Amazon
Currently sold out