Data Refinement Image close
Data Refinement on Hardback by Willem-Paul de Roever
Data Refinement on Hardback by Willem-Paul de Roever
Show Hide Adult Content
Data Refinement close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Data Refinement

Model-Oriented Proof Methods and their Comparison
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$398.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $99.50 with Afterpay Learn more

6 weekly interest-free payments of $66.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 1-11 July using International Courier

Explore more Cambridge Tracts in Theoretical Computer Science

See all products in this series

Modal Logic by Patrick Blackburn
$288.00
Modal Logic
by Patrick Blackburn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Clausal Theory of Types by D.A. Wolfram
$99.00
The Clausal Theory of Types
by D.A. Wolfram ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Higher Order Logic and Hardware Verification by T.F. Melham
$129.00
Higher Order Logic and Hardware Verification
by T.F. Melham ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Nets, Terms and Formulas on Hardback by E-.R. Olderog
$349.00
Nets, Terms and Formulas
by E-.R. Olderog ~ Hardback
Available - Usually ships in 3-4 weeks
A Unifying Framework for Structured Analysis and Design Models on Hardback by T.H. Tse
$346.00
A Unifying Framework for Structured Analysis and Design Models
by T.H. Tse ~ Hardback
Available - Usually ships in 3-4 weeks
Nominal Sets on Hardback by Andrew M. Pitts
$179.00
Nominal Sets
by Andrew M. Pitts ~ Hardback
Available - Usually ships in 3-4 weeks
Design Theory and Computer Science on Hardback by Subrata Dasgupta
$488.00
Design Theory and Computer Science
by Subrata Dasgupta ~ Hardback
Available - Usually ships in 3-4 weeks
Derivation and Computation on Hardback by H. Simmons
$398.00
Derivation and Computation
by H. Simmons ~ Hardback
Available - Usually ships in 3-4 weeks
Understanding Z by J.M. Spivey
$124.00
Understanding Z
by J.M. Spivey ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Logic and Computation by Lawrence C. Paulson
$167.00
Logic and Computation
by Lawrence C. Paulson ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Domains and Lambda-Calculi by Roberto M. Amadio
$183.00
Domains and Lambda-Calculi
by Roberto M. Amadio ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Clausal Theory of Types on Hardback by D.A. Wolfram
$195.00
The Clausal Theory of Types
by D.A. Wolfram ~ Hardback
Available - Usually ships in 3-4 weeks
Topology via Logic by Steven Vickers
$177.00
Topology via Logic
by Steven Vickers ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Metamathematics, Machines and Gödel's Proof by N. Shankar
$142.00
Metamathematics, Machines and Gödel's Proof
by N. Shankar ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Specification and Design by L.M.G. Feijs
$160.00
Formal Specification and Design
by L.M.G. Feijs ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Basic Simple Type Theory by J. Roger Hindley
$134.00
Basic Simple Type Theory
by J. Roger Hindley ~ Paperback / softback
Available - Usually ships in 3-4 weeks

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.
Release date NZ
December 3rd, 1998
Audience
  • Professional & Vocational
Illustrations
Worked examples or Exercises; 18 Halftones, unspecified
Pages
436
Dimensions
159x236x32
ISBN-13
9780521641708
Product ID
2410342

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Willem-Paul de Roever

See all books by this author

Concurrency Verification on Hardback by Willem-Paul de Roever
$703.00
Concurrency Verification
by Willem-Paul de Roever ~ Hardback
Available - Usually ships in 3-4 weeks
Data Refinement by Willem-Paul de Roever
$173.00
Data Refinement
by Willem-Paul de Roever ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Concurrency Verification by Willem-Paul de Roever
$244.00
Concurrency Verification
by Willem-Paul de Roever ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Databases
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation