We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£83.36
This is the most expensive it has ever been. Walk away.
£83 today · previous high £83 · all-time low £81
Cambridge University Press Modeling in Event-B: System and Software Engineering
Worked examples or Exercises; 10 Halfton
Price data last checked 17 day(s) ago - will refresh soon
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 74 days · 74 data points (no recent data)
Worked examples or Exercises; 10 Halfton
Price data last checked 17 day(s) ago - will refresh soon
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 74 days • 2 price levels
Price Analysis
Most common price: £81 (64 days, 86.5%)
Price range: £81 - £83
Price levels: 2 different prices over 74 days
Description
Key Features
New
Mint Condition
Dispatch same day for order received before 12 noon
Guaranteed packaging
No quibbles returns
Product Specifications
- Format
- hardcover
- ASIN
- 0521895561
- Domain
- Amazon UK
- Release Date
- 13 May 2010
- Listed Since
- 26 October 2009
Barcode
No barcode data available
Similar Products You Might Like
Modeling Companion for Software Practitioners
Springer
Formal Methods in Computer Science (Textbooks in Mathematics)
CRC Press
Formal Methods and Models for System Design - Springer
Springer
From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday: 35 (Emergence, Complexity and Computation, 35)
Springer
Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)
Springer
Nature-Inspired Networking: Theory and Applications
CRC Press
Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)
Birkhauser
Understanding Modelling and Programming
Springer
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Discrete-event System Theory: An Introduction
World Scientific Publishing Company
Formal Methods for Industrial Critical Systems: A Survey of Applications
Wiley
Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)
Springer
Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies
Springer
Distributed and Parallel Embedded Systems: IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES’98) October ... Information and Communication Technology, 25)
Springer
The B-Book: Assigning Programs to Meanings
Cambridge University Press
Discrete-Event Modeling and Simulation: Theory and Applications (Computational Analysis, Synthesis, and Design of Dynamic Systems)
CRC Press
Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career: 15230 (Lecture Notes in Computer Science, 15230)
Springer
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)
Springer
Computer Science 2: Research and Applications (Advances in Experimental Medicine & Biology (Springer))
Springer
System Modeling and Control with Resource-Oriented Petri Nets: Automation and Control Engineering: 35
CRC Press
Real-Time Embedded Systems (Quantitative Software Engineering Series)
Wiley
Modellbasierte prädiktive Regelung: Eine Einfuhrung Fur Ingenieure
De Gruyter Oldenbourg
Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts (Undergraduate Topics in Computer Science)
Springer