{"product_id":"formal-verification-of-floating-point-hardware-design-springer-nature-switzerland-ag-9783030070489-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":52243228950870,"sku":"9783030070489","price":90.93,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030070489.jpg?v=1767766224","url":"https:\/\/www.englishbook.fi\/products\/formal-verification-of-floating-point-hardware-design-springer-nature-switzerland-ag-9783030070489-a-mathematical-approach-david-m-russinoff","provider":"Bookshop","version":"1.0","type":"link"}