£48.42

Cambridge University Press Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)

Price data checked 6 days ago

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£48 today · cheaper than every other day in the last 3 months

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

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
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 85 days • 85 data points (No recent data available)

Historical
Generating forecast...
£55.19 £47.74 £49.37 £50.99 £52.62 £54.24 £55.87 09 April 2026 30 April 2026 21 May 2026 11 June 2026 02 July 2026

Price Distribution

Price distribution over 85 days • 5 price levels

Days at Price
Current Price
1 day · current 2 days 15 days 34 days 33 days 0 9 17 26 34 £48 £51 £52 £53 £55 Days at Price

Price Analysis

Most common price: £53 (34 days, 40.0%)

Price range: £48 - £55

Price levels: 5 different prices over 85 days

Description

The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The book's second part contains a detailed survey of important methods in this field, which are carefully analysed, and shown to be either incomplete, with counterexamples to their application, or to be always applicable whenever data refinement holds. This is shown by proving, for the first time, that all these methods can be described and analysed in terms of two simple notions: forward and backward simulation. The book is self-contained, going from advanced undergraduate level and taking the reader to the state of the art in methods for proving simulation.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
09 March 2009
Listed Since
15 December 2008

Barcode

No barcode data available

Similar Products You Might Like

Incomplete Information: Rough Set Analysis: 13 (Studies in Fuzziness and Soft Computing, 13)
95% match

Incomplete Information: Rough Set Analysis: 13 (Studies in Fuzziness and Soft Computing, 13)

Springer

£108.45 09 Mar 2026
Towards Digital Intelligence Society: A Knowledge-based Approach: 1281 (Advances in Intelligent Systems and Computing, 1281)
95% match

Towards Digital Intelligence Society: A Knowledge-based Approach: 1281 (Advances in Intelligent Systems and Computing, 1281)

Springer

£103.18 02 Apr 2026
Just the Facts: Information Modeling with Business Communication
95% match

Just the Facts: Information Modeling with Business Communication

Technics Publications

£42.82 01 Jul 2026
Information and Communication Technology for Intelligent Systems (ICTIS 2017) - Volume 1: 83 (Smart Innovation, Systems and Technologies, 83)
95% match

Information and Communication Technology for Intelligent Systems (ICTIS 2017) - Volume 1: 83 (Smart Innovation, Systems and Technologies, 83)

Springer

£148.27 17 Jun 2026
Data Modeling: Theory & Practice
95% match

Data Modeling: Theory & Practice

Technics Publications

£47.55 05 Jul 2026
Theory and Engineering of Dependable Computer Systems and Networks: Proceedings of the Sixteenth International Conference on Dependability of Computer ... in Intelligent Systems and Computing, 1389)
95% match

Theory and Engineering of Dependable Computer Systems and Networks: Proceedings of the Sixteenth International Conference on Dependability of Computer ... in Intelligent Systems and Computing, 1389)

Springer

£105.37 01 Apr 2026
Conceptual Modeling of Information Systems
95% match

Conceptual Modeling of Information Systems

Springer

£37.39 07 Mar 2026
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)
95% match

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)

Springer

£78.84 08 Mar 2026
Data Modeling Fundamentals: A Practical Guide for IT Professionals
95% match

Data Modeling Fundamentals: A Practical Guide for IT Professionals

Wiley

£114.66 06 Jul 2026
Advanced Approaches to Intelligent Information and Database Systems: 551 (Studies in Computational Intelligence, 551)
95% match

Advanced Approaches to Intelligent Information and Database Systems: 551 (Studies in Computational Intelligence, 551)

Springer

£107.98 24 Jun 2026
Big Data and Smart Digital Environment: 53 (Studies in Big Data, 53)
95% match

Big Data and Smart Digital Environment: 53 (Studies in Big Data, 53)

Springer

£146.43 10 Mar 2026
Big Data and Smart Digital Environment: 53 (Studies in Big Data, 53)
95% match

Big Data and Smart Digital Environment: 53 (Studies in Big Data, 53)

Springer

£135.92 29 Apr 2026
Data Science and Digital Transformation in the Fourth Industrial Revolution: 929 (Studies in Computational Intelligence, 929)
95% match

Data Science and Digital Transformation in the Fourth Industrial Revolution: 929 (Studies in Computational Intelligence, 929)

Springer

£115.87 11 Jun 2026
Data and Information Quality: Dimensions, Principles and Techniques: 0 (Data-Centric Systems and Applications)
95% match

Data and Information Quality: Dimensions, Principles and Techniques: 0 (Data-Centric Systems and Applications)

Springer

£93.38 06 Jul 2026
MDATA: A New Knowledge Representation Model: Theory, Methods and Applications: 12647 (Lecture Notes in Computer Science, 12647)
95% match

MDATA: A New Knowledge Representation Model: Theory, Methods and Applications: 12647 (Lecture Notes in Computer Science, 12647)

Springer

£57.06 29 Jun 2026
New Trends in Database and Information Systems: ADBIS 2021 Short Papers, Doctoral Consortium and Workshops: DOING, SIMPDA, MADEISD, MegaData, CAoNS, ... in Computer and Information Science, 1450)
95% match

New Trends in Database and Information Systems: ADBIS 2021 Short Papers, Doctoral Consortium and Workshops: DOING, SIMPDA, MADEISD, MegaData, CAoNS, ... in Computer and Information Science, 1450)

Springer

£55.79 08 Mar 2026
Software Prototyping in Data and Knowledge Engineering: 497 (Mathematics and Its Applications, 497)
95% match

Software Prototyping in Data and Knowledge Engineering: 497 (Mathematics and Its Applications, 497)

Springer

£72.77 02 May 2026
Research and Development in Intelligent Systems XXIII: Proceedings of AI-2006, The Twenty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
95% match

Research and Development in Intelligent Systems XXIII: Proceedings of AI-2006, The Twenty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence

Springer

£83.56 09 Mar 2026
Data Science and Big Data: An Environment of Computational Intelligence: 24 (Studies in Big Data, 24)
95% match

Data Science and Big Data: An Environment of Computational Intelligence: 24 (Studies in Big Data, 24)

Springer

£129.26 09 Mar 2026
Recent Advances on Soft Computing and Data Mining: Proceedings of The First International Conference on Soft Computing and Data Mining (SCDM-2014) ... in Intelligent Systems and Computing, 287)
95% match

Recent Advances on Soft Computing and Data Mining: Proceedings of The First International Conference on Soft Computing and Data Mining (SCDM-2014) ... in Intelligent Systems and Computing, 287)

Springer

£150.58 02 May 2026
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 850 (Studies in Computational Intelligence, 850)
95% match

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 850 (Studies in Computational Intelligence, 850)

Springer

£76.00 02 Jul 2026
Intelligent Information Systems: CAiSE Forum 2021, Melbourne, VIC, Australia, June 28 – July 2, 2021, Proceedings: 424 (Lecture Notes in Business Information Processing, 424)
95% match

Intelligent Information Systems: CAiSE Forum 2021, Melbourne, VIC, Australia, June 28 – July 2, 2021, Proceedings: 424 (Lecture Notes in Business Information Processing, 424)

Springer

£46.25 30 Apr 2026
Simulation and Modeling Methodologies, Technologies and Applications: 10th International Conference, SIMULTECH 2020 Lieusaint - Paris, France, July ... (Lecture Notes in Networks and Systems, 306)
95% match

Simulation and Modeling Methodologies, Technologies and Applications: 10th International Conference, SIMULTECH 2020 Lieusaint - Paris, France, July ... (Lecture Notes in Networks and Systems, 306)

Springer

£103.57 09 Mar 2026
Big Data Analytics in Healthcare: 66 (Studies in Big Data, 66)
95% match

Big Data Analytics in Healthcare: 66 (Studies in Big Data, 66)

Springer

£122.70 09 Mar 2026