BookFinder.com is a one-stop ecommerce search engine that searches over 150 million books for sale—new, used, rare, out-of-print, and textbooks.

Data Refinement :
Model-Oriented Proof Methods and Their Comparison

by Willem-Paul DeRoever, Kai Engelhardt

ISBN 0521641705 / 9780521641708 / 0-521-64170-5
Publisher Cambridge University Press
Language English
Edition Hardcover
Find All Copies

 


› Find collectible copies of 'Data Refinement : Model-Oriented Proof Methods and Their Comparison'