We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£121.73
Routledge Time & Logic: A Computational Approach (Routledge Revivals)
Price data last checked 58 day(s) ago - refreshing...
Price History & Forecast
Last 33 days • 33 data points (No recent data available)
Price Distribution
Price distribution over 33 days • 3 price levels
Current Price
Price Analysis
Most common price: £127 (18 days, 54.5%)
Price range: £122 - £127
Price levels: 3 different prices over 33 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 > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 31 March 2020
- Listed Since
- 12 April 2019
Barcode
No barcode data available
Similar Products You Might Like
93% match
Temporal Logic - World Scientific Publishing Company Book
World Scientific Publishing Company
£61.29
04 Mar 2026
93% match
An Introduction to Practical Formal Methods Using Temporal Logic
Wiley
£97.00
21 Feb 2026
92% 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
92% match
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
£103.00
07 Mar 2026
92% match
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse: 156 (Synthese Library, 156)
Springer
£84.35
09 Mar 2026
92% match
Logic for Applications (Texts in Computer Science)
Springer
£108.11
11 Jan 2026
92% match
Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)
Springer
£146.56
30 Mar 2026
92% match
Springer Advances in Verification of Time Petri Nets and TA
Springer
£108.80
18 Apr 2026
92% match
Logic and Language Models for Computer Science: Third Edition
Scientific Publishing
£56.56
13 Apr 2026
92% match
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Springer
£27.50
21 Feb 2026
92% match
Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)
Springer
£118.45
13 Jan 2026
91% match
The History of Logic: A HISTORY OF ITS CENTRAL CONCEPTS Vol 9 (Handbook of the History of Logic)
North Holland
£107.78
31 Mar 2026
91% match
Handbook of Philosophical Logic: Volume 14
Springer
£144.71
10 Mar 2026
91% 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
91% match
Computational Logic: 165 (NATO ASI Subseries F:, 165)
Springer
£111.23
04 Feb 2026
91% match
Logic, Language and Computation: 5 (Applied Logic Series, 5)
Springer
£76.14
08 Apr 2026
91% match
Logic of Computation: SER F / v.157 (NATO ASI)
Springer
£80.56
26 Feb 2026
91% match
Computation Engineering: Applied Automata Theory and Logic
Springer
£68.10
23 Feb 2026
91% match
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
£105.00
26 Feb 2026
91% match
Logic Programming: A Classified Bibliography
Springer
£83.18
17 Apr 2026
91% match
Logic with Trees: An Introduction to Symbolic Logic
Routledge
£133.39
13 Jan 2026
91% match
Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles
£84.63
10 Jan 2026
91% match
Theory of Computation: Automata, Formal Languages, Computation and Complexity
Springer
£84.49
15 Feb 2026
91% match
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Springer
£77.03
28 Feb 2026