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

£124.45

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

Name: Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Brand: Cambridge University Press
Price: 124.45 GBP
Availability: InStock

18 b/w illus. 93 exercises

Architecture & Microprocessors

This is the most expensive it has ever been. Walk away.

£124 today · previous high £124 · all-time low £96

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 66 days · 66 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 66 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £96 (51 days, 77.3%)

Price range: £96 - £124

Price levels: 2 different prices over 66 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

Brand: Cambridge University Press
Model: 18 b/w illus. 93 exercises
Format: hardcover
ASIN: 0521641705
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 03 December 1998
Listed Since: 04 January 2007

Barcode

No barcode data available

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

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Forcing with Random Variables and Proof Complexity: 382 (London Mathematical Society Lecture Note Series, Series Number 382)

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Information Systems Development and Data Modeling: Conceptual and Philosophical Foundations (Cambridge Tracts in Theoretical Computer Science)

Refinement in Z and Object-Z: Foundations and Advanced Applications

Simulation-based Inference in Econometrics: Methods and Applications

Structural Proof Theory

Advanced Topics in Bisimulation and Coinduction: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52)

Cambridge University Press - Structural Proof Theory Book

An Introduction to Computational Physics

Design Theory and Computer Science: Processes and Methodology of Computer Systems Design: 15 (Cambridge Tracts in Theoretical Computer Science, Series Number 15)

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990

Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)

Cambridge Logical Foundations of Proof Complexity Book

Methods and Models: A Guide to the Empirical Analysis of Formal Models in Political Science

Computational and Mathematical Modeling in the Social Sciences

Modelling Systems: Practical Tools and Techniques in Software Development

Difference Equations by Differential Equation Methods (Cambridge Monographs on Applied and Computational Mathematics): 27 (Cambridge Monographs on ... Computational Mathematics, Series Number 27)

Computational Differential Equations

Probabilistic Modelling

Symbolic Simulation Methods for Industrial Formal Verification

Systematic Program Design: From Clarity to Efficiency

Data-Intensive Computing: Architectures, Algorithms, and Applications

Computational Techniques for Complex Transport Phenomena