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

£53.19

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: 53.19 GBP
Availability: InStock

Networking & Security

Price History & Forecast

Last 26 days • 26 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 26 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £53 (17 days, 65.4%)

Price range: £52 - £53

Price levels: 2 different prices over 26 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
Format: paperback
ASIN: 0521103509
Category: Books > Subjects > Computing & Internet > Networking & Security
Domain: Amazon UK
Release Date: 09 March 2009
Listed Since: 15 December 2008

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)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

How to Prove It: A Structured Approach

Computational Complexity: A Conceptual Perspective

Proof Complexity: 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Logic in Computer Science: Modelling and Reasoning about Systems

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory: 47 (Lecture Notes in Logic, Series Number 47)

Type Theory and Formal Proof: An Introduction

Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497)

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

Information-Theoretic Methods in Data Science

High-Dimensional Probability: An Introduction with Applications in Data Science: 47 (Cambridge Series in Statistical and Probabilistic Mathematics, Series Number 47)

Computational Complexity: A Modern Approach

Data Modeling for the Sciences: Applications, Basics, Computations

Cambridge University Press - A Comparison Process for Mouse Pairs

Statistical Inference as Severe Testing: How to Get Beyond the Statistics Wars

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Advanced Transport Phenomena: Analysis, Modeling, and Computations

Probabilistic Modelling

Computational Methods for Multiphase Flow

Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41)

Concurrency Verification: Introduction to Compositional and Non-compositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

Process Modeling and Simulation for Chemical Engineers: Theory and Practice

Proof and System-Reliability: v. 62 (NATO Science Series II)

From Action Systems to Distributed Systems: The Refinement Approach (Chapman & Hall/Crc Computational Science)