Skip to main content
PBS logo
 
 

Search - Data Refinement : Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)

Data Refinement : Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)
Data Refinement ModelOriented Proof Methods and their Comparison - Cambridge Tracts in Theoretical Computer Science
Author: Willem-Paul de Roever, Kai Engelhardt
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 o...  more »
ISBN-13: 9780521641708
ISBN-10: 0521641705
Publication Date: 1/15/2001
Pages: 435
Rating:
  ?
0 stars, based on 0 rating
Publisher: Cambridge University Press
Book Type: Hardcover
Other Versions: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.