{"product_id":"david-m-russinoff-formal-verification-of-floating-point-hardware-design-a-mathematical-approach-9783030871802","title":"Formal Verification of Floating-Point Hardware Design: A Mathematical Approach","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53765651956054,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/david-m-russinoff-formal-verification-of-floating-point-hardware-design-a-mathematical-approach-9783030871802","provider":"momoxbooks","version":"1.0","type":"link"}