Temporal Logic: Volume 2
Book Details
Format
Hardback or Cased Book
Book Series
Oxford Logic Guides
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 logicMathematical theory of computationComputer architecture & logic design
Ksh 46,750.00
Manufactured on Demand
Delivery in 29 days
Delivery Location
Delivery fee: Select location
Delivery in 29 days
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 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 pages.
