{"product_id":"david-dill-l-trace-theory-for-automatic-hierarchical-verification-of-speed-independent-circuits-acm-distinguished-dissertations-9780262041010","title":"Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (Acm Distinguished Dissertations)","description":null,"brand":"MIT Press","offers":[{"title":"Default Title","offer_id":53686771843414,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9780262041010_1_bde45477-49ab-4298-83ce-3bb989f530b7.jpg?v=1781746970","url":"https:\/\/www.momoxbooks.com\/products\/david-dill-l-trace-theory-for-automatic-hierarchical-verification-of-speed-independent-circuits-acm-distinguished-dissertations-9780262041010","provider":"momoxbooks","version":"1.0","type":"link"}