Buy Used and New KaiEngelhardt Books

Results for KaiEngelhardt

Showing 1 to 1 of 1 results
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) by Willem-Paul de Roever, Kai Engelhardt

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

by Willem-Paul de Roever, Kai Engelhardt


ISBN 13: 9780521103503

Format: Paperback (436 pages)
Publisher: Cambridge University Press
Published: 18 Dec 2008

Save for later

 
New : $67.75  
New : $67.75