We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£43.01
About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.
£43 today · all-time low £43 (Sep 2026) · usually £43
Springer Specifying Message Passing and Time-Critical Systems with Temporal Logic: 651 (Lecture Notes in Computer Science, 651)
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 84 days · 84 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 84 days • 2 price levels
Price Analysis
Most common price: £45 (47 days, 56.0%)
Price range: £43 - £45
Price levels: 2 different prices over 84 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3540562834
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 14 December 1992
- Listed Since
- 16 December 2006
Barcode
No barcode data available
Similar Products You Might Like
An Introduction to Practical Formal Methods Using Temporal Logic
Wiley
Advances in Temporal Logic: Applied Logic Series Volume 16
Springer
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics: 3 (Atlantis Studies in Computing, 3)
Springer
Time & Logic: A Computational Approach (Routledge Revivals)
Routledge
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings: 827 (Lecture Notes in Computer Science, 827)
Springer
Advances in Temporal Logic: Applied Logic Series Volume 16
Springer
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)
Springer
Temporal Logic: Philosophy to AI & Quantum Computing
World Scientific Publishing Company
Springer Temporal Logic: Ancient Ideas to Artificial Intelligence
Springer
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)
Birkhauser
Temporal Verification of Reactive Systems: Safety
Springer
Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples
Südwestdeutscher Verlag für Hochschulschriften
Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)
Springer
Advances in Verification of Time Petri Nets - Springer
Springer
Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)
Springer
Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)
Wiley
Real-Time Systems: Scheduling, Analysis, and Verification
Wiley
Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career: 15230 (Lecture Notes in Computer Science, 15230)
Springer
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)
Understanding Concurrent Systems (Texts in Computer Science)
Springer
CRC Press Time-Triggered Communication - Embedded Systems Book
CRC Press
STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)
Springer
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science ... and Communication Technology, 155)
Springer
Springer - Principles of Distributed Systems - Computer Science
Springer