We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£110.77
This is the usual price. Wait for it to drop, or tell us your number.
£111 today · usual range £97–£112 · best ever £97
Wiley Real-Time Systems: Scheduling, Analysis, and Verification
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 26 days · 26 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 26 days • 3 price levels
Price Analysis
Most common price: £111 (10 days, 38.5%)
Price range: £97 - £112
Price levels: 3 different prices over 26 days
Description
Product Specifications
- Brand
- Wiley
- Format
- hardcover
- ASIN
- 0471184063
- Domain
- Amazon UK
- Release Date
- 19 August 2002
- Listed Since
- 09 February 2007
Barcode
No barcode data available
Similar Products You Might Like
Advances in Verification of Time Petri Nets - Springer
Springer
Formal Methods in Computer Science (Textbooks in Mathematics)
CRC Press
MIT Press Principles of Model Checking - Computer Science Book
MIT Press
Formal Methods in Computer Science (Textbooks in Mathematics)
CRC Press
Computation Engineering: Applied Automata Theory and Logic
Springer
Temporal Verification of Reactive Systems: Safety
Springer
Temporal Logic: Philosophy to AI & Quantum Computing
World Scientific Publishing Company
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Series in Computer Science)
Princeton University Press
Real-Time Embedded Systems (Quantitative Software Engineering Series)
Wiley
Computation Engineering: Applied Automata Theory and Logic
Springer
Springer Petri Nets: Theoretical Models and Analysis Methods
Springer
An Introduction to Practical Formal Methods Using Temporal Logic
Wiley
Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career: 15230 (Lecture Notes in Computer Science, 15230)
Springer
Formal Methods and Models for System Design - Springer
Springer
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Springer
MIT Press Model Checking - Cyber Physical Systems Series
MIT Press
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Specification and Verification of Multi-agent Systems - Springer
Springer
Petri Net Synthesis (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Higher Order Logic Theorem Proving - IFIP Workshop Proceedings 1992
Elsevier
Time & Logic: A Computational Approach (Routledge Revivals)
Routledge
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Springer
Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)
Wiley