Temporal Logic: Volume 2

Name: Temporal Logic: Volume 2
Brand: Oxford University Press
SKU: 9780198537687
Price: 46700 KES
Availability: OutOfStock
ISBN: 9780198537687

by Dov M Gabbay , M. Reynolds , M. Finger

Book Details

Format Hardback

Book Series Temporal Logic

ISBN-10 0198537689

ISBN-13 9780198537687

Publisher Oxford University Press

Imprint Oxford University Press

Country of Manufacture GB

Country of Publication GB

Publication Date Mar 30th, 2000

Print length 612 Pages

Weight 1,102 grams

Dimensions 24.50 x 16.40 x 3.70 cms

Product Classification: Mathematical logic Mathematical theory of computation Computer architecture & logic design Computer architecture and logic design

KSh 46,700.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

Mathematical logic is an area of interest to workers in philosophy and computer science as well as mathematics. This book, the companion to an already successful volume by the same authors, deals with an area of logic of interest in computer science, which considers the particularly rich and complex effects of time.

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.

Get Temporal Logic: Volume 2 by Dov M Gabbay, M. Reynolds at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Oxford University Press and it has 612 pages.