Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Data Refinement: Model-Oriented Proof Methods and Their Comparison (Cambridge Tracts in Theoretical Computer Science (Paperback))de Roever, Willem-PaulPaperback0521103509 /
9780521103503		12/2008$63.64
Data Refinement: Model-Oriented Proof Methods and Their Comparison (Cambridge Tracts in Theoretical Computer Science (Hardcover))Deroever, W.Hardcover0521641705 /
9780521641708		01/1999$152.00
  (2 items found)