We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£110.77
Wiley Real-Time Systems: Scheduling, Analysis, and Verification
Price data last checked 20 day(s) ago - will refresh soon
We'll watch every seller, every day. One email when your price arrives.
This is the usual price. Wait for it to drop, or tell us your number.
£111 today · usual range £97–£112 · best ever £97
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 71 days · 71 data points (no recent data)
Price Distribution
Price distribution over 71 days • 4 price levels
Price Analysis
Most common price: £99 (45 days, 63.4%)
Price range: £97 - £112
Price levels: 4 different prices over 71 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
Springer Advances in Verification of Time Petri Nets and TA
Springer
Formal Methods in Computer Science (Textbooks in Mathematics)
CRC Press
Principles of Model Checking
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 - World Scientific Publishing Company Book
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
Springer - Formal Methods and Models for System Design Book
Springer
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Springer
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
Springer - Specification and Verification of Multi-agent Systems
Springer
Petri Net Synthesis (Texts in Theoretical Computer Science. An EATCS Series)
Springer
North Holland Higher Order Logic Theorem Proving Proceedings
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