We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£114.96
This is the most expensive it has ever been. Walk away.
£115 today · previous high £115 · all-time low £112
Springer Advances in Temporal Logic: Applied Logic Series Volume 16
Price data last checked 11 day(s) ago - will refresh soon
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 80 days · 80 data points (no recent data)
Price data last checked 11 day(s) ago - will refresh soon
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 80 days • 4 price levels
Price Analysis
Most common price: £114 (26 days, 32.5%)
Price range: £112 - £115
Price levels: 4 different prices over 80 days
Description
Key Features
Part of Springer's Applied Logic Series, providing peer-reviewed scholarship on temporal logic theory and applications.
Covers temporal logic research from Prior's foundational work through Pnueli's applications in computer program verification.
Addresses formal specification and verification methods essential for computer science professionals and researchers.
Connects temporal logic across multiple disciplines including computer science, artificial intelligence, and philosophy.
Suitable for academics, postgraduate students, and researchers working in formal methods and computational logic.
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 0792361490
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 31 December 1999
- Listed Since
- 15 December 2006
Barcode
No barcode data available
Similar Products You Might Like
Advances in Temporal Logic: Applied Logic Series Volume 16
Springer
An Introduction to Practical Formal Methods Using Temporal Logic
Wiley
Semantics of English : Aspectual Complementation
Springer
Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)
Springer
Time: Language, Cognition & Reality (Oxford Studies of Time in Language and Thought)
Oxford University Press
Temporal Logic: From Ancient Ideas to Artificial Intelligence: 57 (Studies in Linguistics and Philosophy, 57)
Springer
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings: 827 (Lecture Notes in Computer Science, 827)
Springer
Temporal Logic: Philosophy to AI & Quantum Computing
World Scientific Publishing Company
Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)
Springer
Spatial and Temporal Reasoning - Springer AI Book
Springer
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse: 156 (Synthese Library, 156)
Springer
Past, Present and Future
Oxford University Press
Nothing To Come: A Defence of the Growing Block Theory of Time: 395 (Synthese Library, 395)
Springer
Time & Logic: A Computational Approach (Routledge Revivals)
Routledge
Aspects de l'itération: L'expression de la répétition en français: analyse linguistique et formalisation: 106 (Sciences Pour La Communication)
Peter Lang Gmbh, Internationaler Verlag Der Wissenschaften
Perspectives on Time: 189 - Philosophy & Physics Studies
Springer
Other Times: Philosophical Perspectives on Past, Present and Future (Cambridge Studies in Philosophy)
Cambridge University Press
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)
Birkhauser
The Grammar of the English Verb Phrase: Grammar of the English Tense System - A Comprehensive Analysis v. 1 (Topics in English Linguistics): 60
De Gruyter Mouton
Thinking and Speaking About Time: A cognitive linguistic approach: 81 (Human Cognitive Processing)
Time in Contemporary Intellectual Thought
North Holland
Time: A Vocabulary of the Present
NYU Press
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
Divine Omniscience and Human Free Will: A Logical and Metaphysical Analysis (Palgrave Frontiers in Philosophy of Religion)
MACMILLAN