{"product_id":"formal-verification-of-floating-point-hardware-design-springer-nature-switzerland-ag-9783030871802-a-mathematical-approach-david-m-russinoff","title":"Formal Verification of Floating-Point Hardware Design","description":"","brand":"David M. Russinoff","offers":[{"title":"Default Title","offer_id":52274325619030,"sku":"9783030871802","price":157.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030871802.jpg?v=1767812563","url":"https:\/\/www.englishbook.fi\/products\/formal-verification-of-floating-point-hardware-design-springer-nature-switzerland-ag-9783030871802-a-mathematical-approach-david-m-russinoff","provider":"Bookshop","version":"1.0","type":"link"}