{"product_id":"marino-miculan-types-for-proofs-and-programs-international-conference-types-2007-cividale-del-friuli-italy-may-2-5-2007-revised-selected-papers-lecture-notes-in-computer-science-9783540681038","title":"Types for Proofs and Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science)","description":null,"brand":"Springer-Verlag Berlin and Heidelberg GmbH \u0026 Co. K","offers":[{"title":"Default Title","offer_id":53685024784726,"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_9783540681038_1_b1271907-28da-4540-a6cf-d0b77d470b2b.jpg?v=1781745695","url":"https:\/\/www.momoxbooks.com\/products\/marino-miculan-types-for-proofs-and-programs-international-conference-types-2007-cividale-del-friuli-italy-may-2-5-2007-revised-selected-papers-lecture-notes-in-computer-science-9783540681038","provider":"momoxbooks","version":"1.0","type":"link"}