We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£74.84
Springer Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)
Price data checked 7 days ago
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£75 today · previous high £75 · all-time low £74
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 History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 84 days · 84 data points (no recent data)
Price Distribution
Price distribution over 84 days • 2 price levels
Price Analysis
Most common price: £75 (67 days, 79.8%)
Price range: £74 - £75
Price levels: 2 different prices over 84 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3642074049
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 09 December 2010
- Listed Since
- 20 September 2010
Barcode
No barcode data available
Similar Products You Might Like
An Introduction to Practical Formal Methods Using Temporal Logic
Wiley
FEIN 63502225230 SL E-Cut C HCS 50x65 Saw Blade, 0 V, Multi-Colour
Springer
Springer Advances in Temporal Logic 16 - Applied Logic Series
Springer
Time & Logic: A Computational Approach (Routledge Revivals)
Routledge
Temporal Logic - World Scientific Publishing Company Book
World Scientific Publishing Company
The Calculus of Computation: Decision Procedures with Applications to Verification
Springer
Specifying Message Passing and Time-Critical Systems with Temporal Logic: 651 (Lecture Notes in Computer Science, 651)
Springer
Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)
Wiley
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
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics: 3 (Atlantis Studies in Computing, 3)
Springer
Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples
Südwestdeutscher Verlag für Hochschulschriften
R-Calculus, V: Description Logics (Perspectives in Formal Induction, Revision and Evolution)
Springer
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)
Birkhauser
Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)
Springer
Routledge Derrida on Time - Academic Philosophy Book
Routledge
Real-Time Systems: Formal Specification and Automatic Verification
Cambridge University Press
R-Calculus, III: Post Three-Valued Logic (Perspectives in Formal Induction, Revision and Evolution)
Springer
Functional Interpretation Of Logical Deduction, The
World Scientific Publishing Company
Understanding Human Time: 5 (Oxford Studies of Time in Language and Thought)
Oxford University Press
Time: Language, Cognition & Reality (Oxford Studies of Time in Language and Thought)
Oxford University Press
Time, Duration and Change in Contemporary Art: Beyond the Clock
Intellect (UK)
The Time Dimension: An Interdisciplinary Guide
By
Temporal Verification of Reactive Systems: Safety
Springer