{"product_id":"formal-verification-an-essential-toolkit-for-modern-vlsi-design","title":"Formal Verification: An Essential Toolkit for Modern VLSI Design","description":"","brand":"Elsevier","offers":[{"title":"Default Title","offer_id":45338010484974,"sku":"9780323956123","price":197.06,"currency_code":"AUD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0630\/9612\/7726\/files\/9780323956123.jpg?v=1716805161","url":"https:\/\/bookland.com.au\/products\/formal-verification-an-essential-toolkit-for-modern-vlsi-design","provider":"Book Land AU","version":"1.0","type":"link"}