Advances in Temporal Logic [Hardcover]

Howard Barringer (Editor), Michael Fisher (Editor), Dov M. Gabbay (Editor), Graham Gough (Editor)

List Price:	CDN$ 264.08
Price:	CDN$ 209.81 & this item ships for FREE with Super Saver Shipping. Details
You Save:	CDN$ 54.27 (21%)
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

Usually ships within 2 to 5 weeks.
Ships from and sold by Amazon.ca. Gift-wrap available.

Product Details

Hardcover: 464 pages
Publisher: Springer; 1 edition (Dec 31 1999)
Language: English
ISBN-10: 0792361490
ISBN-13: 978-0792361497
Product Dimensions: 2.5 x 1.7 x 0.3 cm
Shipping Weight: 816 g
Amazon Bestsellers Rank: #2,149,669 in Books (See Top 100 in Books)

Would you like to update product info or give feedback on images?

See Complete Table of Contents

Product Description

Time is a fascinating subject that has captured mankind's imagination from ancient times to the present. It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades ago, Pnueli in a seminal work showed the value of temporal logic in the specification and verification of computer programs. Today, a strong, vibrant international research community exists in the broad community of computer science and AI. This volume presents a number of articles from leading researchers containing state-of-the-art results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. Earlier versions of some of the articles were given at the most recent International Conference on Temporal Logic, University of Manchester, UK. Readership: Any student of the area - postgraduate, postdoctoral or even research professor - will find the book most valuable. Computing professionals requiring state-of-the-art knowledge in the area will appreciate the volume for its leading results and its links to other relevant literature.

Book Info

Presents a selection of papers originally presented at an international conference on temporal logic held in Manchester, England aimed to create bridges between the various communities working in temporal logic.