{"product_id":"computer-arithmetic-and-formal-proofs-verifying-floating-point-algorithms-with-the-coq-system","title":"Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System","description":"","brand":"Elsevier","offers":[{"title":"Default Title","offer_id":46068530053358,"sku":"9781785481123","price":238.29,"currency_code":"AUD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0630\/9612\/7726\/files\/9781785481123.jpg?v=1736794849","url":"https:\/\/bookland.com.au\/products\/computer-arithmetic-and-formal-proofs-verifying-floating-point-algorithms-with-the-coq-system","provider":"Book Land AU","version":"1.0","type":"link"}