{"product_id":"deroever-w-data-refinement-model-oriented-proof-methods-and-their-comparison-cambridge-tracts-in-theoretical-computer-science-9780521641708","title":"Data Refinement: Model-Oriented Proof Methods and Their Comparison (Cambridge Tracts in Theoretical Computer Science)","description":null,"brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":53814004187478,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/deroever-w-data-refinement-model-oriented-proof-methods-and-their-comparison-cambridge-tracts-in-theoretical-computer-science-9780521641708","provider":"momoxbooks","version":"1.0","type":"link"}