{"product_id":"formal-verification-of-circuits","title":"Formal Verification of Circuits","description":"\u003cdiv class=\"product-description\"\u003e            \u003ch2\u003eFormal Verification of Circuits - Rolf Drechsler - Springer, 2010\u003c\/h2\u003e            \u003cp\u003eCondizioni Oggetto: Nuovo\u003c\/p\u003e            \u003cp\u003eCategoria Ebay: Saggistica\u003c\/p\u003e            \u003cp\u003eItem Number: 255596260683\u003c\/p\u003e                    \u003c\/div\u003e","brand":"Libreria Libraria","offers":[{"title":"Default Title","offer_id":50260818919763,"sku":null,"price":219.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0898\/2183\/9699\/files\/s-l1600_c3bd3681-8ab0-451d-8af1-e33bdaa197de.webp?v=1737624384","url":"https:\/\/librerialibraria.com\/products\/formal-verification-of-circuits","provider":"librerialibraria","version":"1.0","type":"link"}