Temporal Logic

Mathematical Foundations and Computational Aspects: Volume 2

By: Dov M Gabbay, M. Finger, M. Reynolds

Write A Review

Hardcover | 30 March 2000

At a Glance

Hardcover
612 Pages

Dimensions(cm)
24.5 x 16.4 x 3.7

Hardcover

$343.75

or 4 interest-free payments of $85.94 with

or

Ships in 5 to 7 business days

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.

Industry Reviews

The book is well written and will be of particular interest to researchers and practitioners in computer science.--Mathematical Reviews

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.