We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£83.60
Cambridge University Press Reactive Systems: Modelling, Specification and Verification
Price data last checked 26 day(s) ago - will refresh soon
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£84 today · previous high £84 · all-time low £62
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 65 days · 65 data points (no recent data)
Price Distribution
Price distribution over 65 days • 2 price levels
Price Analysis
Most common price: £62 (59 days, 90.8%)
Price range: £62 - £84
Price levels: 2 different prices over 65 days
Description
Product Specifications
- Format
- hardcover
- ASIN
- 0521875463
- Domain
- Amazon UK
- Release Date
- 09 August 2007
- Listed Since
- 13 February 2007
Barcode
No barcode data available
Similar Products You Might Like
Temporal Verification of Reactive Systems: Safety
Springer
Systems and Software Verification: Model-Checking Techniques and Tools
Springer
Modelling Systems: Practical Tools and Techniques in Software Development
Cambridge University Press
Specifying Software: A Hands-On Introduction
Cambridge University Press
Modeling and Analysis of Communicating Systems
MIT Press
Specification and Verification of Multi-agent Systems
Springer
Information Systems Development and Data Modeling: Conceptual and Philosophical Foundations (Cambridge Tracts in Theoretical Computer Science)
Cambridge University Press
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
Springer
Model-Based Software Testing and Analysis with C#
Cambridge University Press
Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
Springer
Formal Techniques in Real-Time and Fault-Tolerant Systems: 221 (The Springer International Series in Engineering and Computer Science, 221)
Springer
Formal Methods in Human-Computer Interaction: 2 (Cambridge Series on Human-Computer Interaction, Series Number 2)
Cambridge University Press
Symbolic Simulation Methods for Industrial Formal Verification
Springer
Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
Springer
Structural Proof Theory
Cambridge University Press
Verification and Control of Hybrid Systems: A Symbolic Approach
Springer
Verification and Control of Hybrid Systems: A Symbolic Approach
Springer
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Series in Computer Science)
Princeton University Press
Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)
Springer
Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Cambridge University Press
Computational Semantics with Functional Programming
Cambridge University Press
Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03
Springer
Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Lectures in Game Theory for Computer Scientists
Cambridge University Press