We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£112.56
This is the most expensive it has ever been. Walk away.
£113 today · previous high £113 · all-time low £108
Springer Advances in Temporal Logic: Applied Logic Series Volume 16
We'll watch every seller, every day. One email when your price arrives.
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)
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price Distribution
Price distribution over 70 days • 2 price levels
Price Analysis
Most common price: £108 (60 days, 85.7%)
Price range: £108 - £112
Price levels: 2 different prices over 70 days
Description
Key Features
Part of the Applied Logic Series volume 16, providing peer-reviewed research from established scholars in temporal logic and computer science.
Covers state-of-the-art developments in temporal logic with direct applications to program specification and verification methodologies.
Published by Springer, a leading academic publisher specialising in mathematics, computer science and artificial intelligence texts.
Explores temporal logic across multiple disciplines including philosophy, natural sciences and formal methods for computing systems.
Suitable for researchers, academics and practitioners working in AI, formal verification and advanced logic applications.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 9048153891
- Domain
- Amazon UK
- Release Date
- 08 December 2010
- Listed Since
- 01 October 2010
Barcode
No barcode data available
Similar Products You Might Like
Advances in Temporal Logic: Applied Logic Series Volume 16
Springer
Springer Temporal Logic: Ancient Ideas to Artificial Intelligence
Springer
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings: 827 (Lecture Notes in Computer Science, 827)
Springer
An Introduction to Practical Formal Methods Using Temporal Logic
Wiley
Time: Language, Cognition & Reality (Oxford Studies of Time in Language and Thought)
Oxford University Press
Time & Logic: A Computational Approach (Routledge Revivals)
Routledge
Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)
Springer
Papers On Time And Tense - Arthur N. Prior Logic Philosophy
Oxford University Press
Specifying Message Passing and Time-Critical Systems with Temporal Logic: 651 (Lecture Notes in Computer Science, 651)
Springer
Temporal Logic: Philosophy to AI & Quantum Computing
World Scientific Publishing Company
Tense Logic: 111 (Synthese Library, 111)
Springer
Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)
Springer
![Recent Advances in the Syntax and Semantics of Tense, Aspect and Modality: 185 (Trends in Linguistics. Studies and Monographs [TiLSM], 185)](/uploads/images/products/2/3110195259/87ee02f2-43cd-423c-8706-867797872fea.webp)
Recent Advances in the Syntax and Semantics of Tense, Aspect and Modality: 185 (Trends in Linguistics. Studies and Monographs [TiLSM], 185)
De Gruyter Mouton
Past, Present and Future
Oxford University Press
Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples
Südwestdeutscher Verlag für Hochschulschriften
Semantics of English : Aspectual Complementation
Springer
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)
Birkhauser
Elsevier Handbook of Temporal Reasoning in AI - Volume 1
Elsevier
Time, Temporality, Now - Interdisciplinary Philosophy & Science
Springer
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse: 156 (Synthese Library, 156)
Springer
Perspectives on Time: 189 - Philosophy & Physics Studies
Springer
German Temporal Semantics: Three-Dimensional Tense Logic
Routledge
Thinking and Speaking About Time: A cognitive linguistic approach: 81 (Human Cognitive Processing)
Automatically Ordering Events and Times in Text: 677 (Studies in Computational Intelligence, 677)
Springer