{"product_id":"9780412727108","title":"Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995","description":"","brand":"Springer US","offers":[{"title":"Default Title","offer_id":47016564457712,"sku":"9780412727108","price":249.99,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9780412727108_p0.jpg?v=1763699311","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9780412727108","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}