£121.73

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

Price data last checked 103 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the usual price. Wait for it to drop, or tell us your number.

£122 today · usual range £0–£0 · best ever £92

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 628 days • 628 data points (No recent data available)

Historical
Generating forecast...
£126.61 £89.06 £97.25 £105.44 £113.64 £121.83 £130.02 09 June 2024 12 November 2024 18 April 2025 22 September 2025 26 February 2026

Price Distribution

Price distribution over 628 days • 5 price ranges

Days at Price
Current Price
237 days 60 days 241 days 3 days 87 days · current 0 60 121 181 241 £92-99 £99-106 £106-113 £113-120 £120-127 Days at Price

Price Analysis

Most common range: £106-113 (241 days, 38.4%)

Price range: £92 - £127

Price levels: 5 price ranges over 628 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

Format
Hardcover
Domain
Amazon UK
Release Date
31 March 2020
Listed Since
12 April 2019

Barcode

No barcode data available

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)
97% match

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

Springer

£84.97 28 Feb 2026
An Introduction to Practical Formal Methods Using Temporal Logic
97% match

An Introduction to Practical Formal Methods Using Temporal Logic

Wiley

£97.00 21 Feb 2026
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics: 3 (Atlantis Studies in Computing, 3)
97% match

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

Springer

£34.36 20 Feb 2026
Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)
97% match

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

Springer

£146.56 30 Mar 2026
Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples
97% match

Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples

Südwestdeutscher Verlag für Hochschulschriften

£85.00 31 Mar 2026
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
97% match

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

Springer

£27.50 21 Feb 2026
Logic, Language and Computation: 5 (Applied Logic Series, 5)
97% match

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

Springer

£76.14 08 Apr 2026
Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)
96% match

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

North Holland

£115.00 12 Jan 2026
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
96% match

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

Springer

£103.00 07 Mar 2026
Temporal Logic: From Ancient Ideas to Artificial Intelligence: 57 (Studies in Linguistics and Philosophy, 57)
96% match

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

Springer

£110.97 28 Jan 2026
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)
96% match

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

Birkhauser

£54.56 20 Feb 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

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

Springer

£104.96 13 Jan 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
96% match

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

Springer

£42.30 21 Feb 2026
Logic for Mathematicians
96% match

Logic for Mathematicians

Cambridge University Press

£37.68 12 Dec 2025
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
96% match

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

CRC Press

£70.25 03 Mar 2026
Logic for Applications (Texts in Computer Science)
96% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
Logic And Language Models For Computer Science (Third Edition)
96% match

Logic And Language Models For Computer Science (Third Edition)

Scientific Publishing

£39.44 17 Mar 2026
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
96% match

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

Springer

£48.61 21 Feb 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
95% match

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

Springer

£111.23 04 Feb 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
95% match

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

Springer

£157.85 10 Mar 2026
Three Views of Logic: Mathematics, Philosophy, and Computer Science
95% match

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

Princeton University Press

£33.93 02 Apr 2026
Logic for Computer Science and Artificial Intelligence
95% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.11 13 Apr 2026
Mathematical Logic and Computation
95% match

Mathematical Logic and Computation

£55.89 13 Jan 2026
Elementary Formal Logic: A Programmed Course: 11 (Routledge Library Editions: Logic)
95% match

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

Routledge

£87.39 05 Apr 2026