£119.21

It has never been this cheap. We have no record of a lower price.

£119 today · cheaper than every other day in the last 3 months

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

View at Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£130.12 £118.12 £120.74 £123.36 £125.97 £128.59 £131.21 25 July 2026 06 August 2026 19 August 2026 31 August 2026 13 September 2026
View at Amazon ↗

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

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 Distribution

Price distribution over 51 days • 5 price levels

Days at Price
Current Price
1 day · current 30 days 10 days 6 days 4 days 0 8 15 23 30 £119 £124 £125 £128 £130 Days at Price

Price Analysis

Most common price: £124 (30 days, 58.8%)

Price range: £119 - £130

Price levels: 5 different prices over 51 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: Philosophy to AI & Quantum Computing
97% match

Temporal Logic: Philosophy to AI & Quantum Computing

World Scientific Publishing Company

£69.35 07 Oct 2026
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

£85.81 18 Sep 2026
An Introduction to Practical Formal Methods Using Temporal Logic
97% match

An Introduction to Practical Formal Methods Using Temporal Logic

Wiley

£97.00 11 Sep 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

£40.92 11 Sep 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

£144.18 27 Sep 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 27 Sep 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

£155.39 06 Oct 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

£38.97 11 Sep 2026
Logic, Language and Computation: 5 (Applied Logic Series, 5)
97% match

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

Springer

£75.80 30 Sep 2026
Advances in Temporal Logic: Applied Logic Series Volume 16
96% match

Advances in Temporal Logic: Applied Logic Series Volume 16

Springer

£112.56 05 Oct 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)

Elsevier

£115.00 18 Aug 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 23 Sep 2026
Springer Temporal Logic: Ancient Ideas to Artificial Intelligence
96% match

Springer Temporal Logic: Ancient Ideas to Artificial Intelligence

Springer

£108.01 25 Aug 2026
Advances in Temporal Logic: Applied Logic Series Volume 16
96% match

Advances in Temporal Logic: Applied Logic Series Volume 16

Springer

£114.96 06 Oct 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

£77.19 10 Sep 2026
Specifying Message Passing and Time-Critical Systems with Temporal Logic: 651 (Lecture Notes in Computer Science, 651)
96% match

Specifying Message Passing and Time-Critical Systems with Temporal Logic: 651 (Lecture Notes in Computer Science, 651)

Springer

£43.01 16 Oct 2026
Modal Semirings and Applications (Trends in Logic, 72)
96% match

Modal Semirings and Applications (Trends in Logic, 72)

Springer

£90.00 03 Oct 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

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

Springer

£103.29 20 Aug 2026
Advances in Verification of Time Petri Nets - Springer
96% match

Advances in Verification of Time Petri Nets - Springer

Springer

£110.00 06 Oct 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
96% match

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

Springer

£38.26 08 Oct 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
96% match

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

Springer

£49.76 11 Sep 2026
Logic for Mathematicians
96% match

Logic for Mathematicians

Cambridge University Press

£53.82 11 Aug 2026
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

£74.23 19 Sep 2026
Probabilistic Extensions of Various Logical Systems
96% match

Probabilistic Extensions of Various Logical Systems

Springer

£75.85 07 Oct 2026