We Need Diverse Ya Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Original Essays | June 11, 2015

    Michelle Goldberg: IMG How Authentic Is Modern Yoga?



    My decision to embark on The Goddess Pose: The Audacious Life of Indra Devi, the Woman Who Helped Bring Yoga to the West, began with a question. I'd... Continue »
    1. $18.87 Sale Hardcover add to wish list

    spacer
Qualifying orders ship free.
$161.50
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Personal Computers- General

More copies of this ISBN

Data Refinement: Model-Oriented Proof Methods & Their Comparison

by

Data Refinement: Model-Oriented Proof Methods & Their Comparison Cover

 

Synopses & Reviews

Publisher Comments:

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 topics of Hoare Logic and the Refinement Calculus are introduced and a general theory of simulations is developed and related to them. Accessibility and comprehension are emphasized in order to guide newcomers to the area. The book's second part contains a detailed survey of important methods in this field, such as VDM, and the methods due to Abadi &Lamport, Hehner, Lynch and Reynolds, Back's refinement calculus and Z. All these methods are carefully analysed, and shown to be either imcomplete, 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 analyzed 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.

Synopsis:

Graduate text in formal methods in computer science.

Table of Contents

Part I. Theory: 1. Introduction to data refinement; 2. Simulation as a proof method for data refinement; 3. Relations and recursion; 4. Properties of simulation; 5. Notation and semantics; 6. A Hoare logic; 7. Simulation and Hoare logic; 8. An extension to total correctness; 9. Simulation and total correctness; 10. Refinement calculus; Part II. Applications: 11. Reynolds' method; 12. VDM; 13. Z, Hehner's method and Back's refinement calculus; 14. Refinement methods due to Abadi &Lamport and Lynch. Appendix A. An introduction to Hoare logic; Appendix B. A primer on ordinals and transfinite induction; Appendix C. Notational convention; Appendix D. Precedences; Bibliography; Index.

Product Details

ISBN:
9780521641708
Author:
Deroever, W.
Publisher:
Cambridge University Press
Author:
Willem-Paul de Roever
Author:
Englehardt, Kai
Author:
Van Rijsbergen, C. J.
Author:
Roever, W. -P De
Author:
Engelhardt, Kai
Author:
C. J. van Rijsbergen
Author:
de Roever, Willem-Paul
Location:
Cambridge, UK ;
Subject:
Computer Science
Subject:
Networking - General
Subject:
Data structures (computer science)
Subject:
Programming - Software Development
Subject:
System Theory
Subject:
Computer simulation
Subject:
Computer programs
Subject:
Computer programs -- Verification.
Subject:
Data structures
Subject:
General Computers
Subject:
Personal Computers-General
Edition Description:
Hardcover
Series:
Cambridge tracts in theoretical computer science ;
Series Volume:
047
Publication Date:
20071231
Binding:
Hardcover
Grade Level:
Professional and scholarly
Language:
English
Illustrations:
18 half-tones 93 exercises
Pages:
436
Dimensions:
5.98x9.01x1.12 in. 1.78 lbs.

Related Subjects

Computers and Internet » Computers Reference » Computer Simulation
Computers and Internet » Computers Reference » General
Computers and Internet » Networking » General
Computers and Internet » Personal Computers » General
Science and Mathematics » Physics » General

Data Refinement: Model-Oriented Proof Methods & Their Comparison New Hardcover
0 stars - 0 reviews
$161.50 In Stock
Product details 436 pages Cambridge University Press - English 9780521641708 Reviews:
"Synopsis" by , Graduate text in formal methods in computer science.
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.