Time & Logic: A Computational Approach (Routledge Revivals) - Image 1

£124.36

Routledge Time & Logic: A Computational Approach (Routledge Revivals)

Name: Time & Logic: A Computational Approach (Routledge Revivals)
Brand: Routledge
Price: 124.36 GBP
Availability: InStock

AI & Machine Learning

About as cheap as it gets. The only time it was cheaper was 2 months ago.

£124 today · all-time low £119 (May 2026) · usually £123

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 70 days · 70 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 70 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £122 (27 days, 38.6%)

Price range: £119 - £125

Price levels: 5 different prices over 70 days

Description

Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of program will be facilitated. Throughout, the authors have kept implementation-orientated solutions in mind. The book begins with an introduction to the basic ideas of temporal logic. Successive chapters examine particular aspects of the temporal theoretical computing domain, relating their applications to familiar areas of research, such as stochastic process theory, automata theory, established proof systems, model checking, relational logic and classical predicate logic. This is an essential addition to the library of all theoretical computer scientists. It is an authoritative work which will meet the needs both of those familiar with the field and newcomers to it.

Product Specifications

Brand: Routledge
Format: hardcover
ASIN: 0367336537
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 31 March 2020
Listed Since: 12 April 2019

Barcode

No barcode data available

Routledge Time & Logic: A Computational Approach (Routledge Revivals)

About as cheap as it gets. The only time it was cheaper was 2 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings: 827 (Lecture Notes in Computer Science, 827)

An Introduction to Practical Formal Methods Using Temporal Logic

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics: 3 (Atlantis Studies in Computing, 3)

Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)

Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Temporal Logic: From Ancient Ideas to Artificial Intelligence: 57 (Studies in Linguistics and Philosophy, 57)

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Logic And Language Models For Computer Science (Third Edition)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Three Views of Logic: Mathematics, Philosophy, and Computer Science

Logic for Computer Science and Artificial Intelligence

Mathematical Logic and Computation

Elementary Formal Logic: A Programmed Course: 11 (Routledge Library Editions: Logic)

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)