£124.36

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

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

View at Amazon

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

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

£124 today · all-time low £123 (Jun 2026) · usually the usual

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 25 days · 25 data points (no recent data)

Historical
Generating forecast…
£125.03 £122.66 £123.18 £123.70 £124.21 £124.73 £125.25 10 June 2026 16 June 2026 22 June 2026 28 June 2026 04 July 2026

Price Distribution

Price distribution over 25 days • 3 price levels

Days at Price
Current Price
13 days 3 days · current 9 days 0 3 7 10 13 £123 £124 £125 Days at Price

Price Analysis

Most common price: £123 (13 days, 52.0%)

Price range: £123 - £125

Price levels: 3 different prices over 25 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 - World Scientific Publishing Company Book
97% match

Temporal Logic - World Scientific Publishing Company Book

World Scientific Publishing Company

£56.78 20 Jul 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.77 04 Jul 2026
An Introduction to Practical Formal Methods Using Temporal Logic
97% match

An Introduction to Practical Formal Methods Using Temporal Logic

Wiley

£97.00 02 Jul 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

£41.40 02 Jul 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

£145.59 12 Jul 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 12 Jul 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

£159.91 18 Jul 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

£39.67 02 Jul 2026
Logic, Language and Computation: 5 (Applied Logic Series, 5)
97% match

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

Springer

£74.86 13 Jul 2026
Springer Advances in Temporal Logic 16 - Applied Logic Series
96% match

Springer Advances in Temporal Logic 16 - Applied Logic Series

Springer

£108.00 17 Jul 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 08 Jul 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

£108.01 25 Aug 2026
FEIN 63502225230 SL E-Cut C HCS 50x65 Saw Blade, 0 V, Multi-Colour
96% match

FEIN 63502225230 SL E-Cut C HCS 50x65 Saw Blade, 0 V, Multi-Colour

Springer

£113.06 18 Jul 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

£59.42 02 Jul 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

£44.87 30 Jul 2026
Modal Semirings and Applications (Trends in Logic, 72)
96% match

Modal Semirings and Applications (Trends in Logic, 72)

Springer

£90.00 16 Jul 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
Springer Advances in Verification of Time Petri Nets and TA
96% match

Springer Advances in Verification of Time Petri Nets and TA

Springer

£108.77 18 Jul 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
96% match

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

Springer

£36.89 20 Jul 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
96% match

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

Springer

£50.10 02 Jul 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

£70.82 07 Jul 2026
Probabilistic Extensions of Various Logical Systems
96% match

Probabilistic Extensions of Various Logical Systems

Springer

£75.83 20 Jul 2026