{"product_id":"christophe-filliatre-jean-types-for-proofs-and-programs-9783540314288","title":"Types for Proofs and Programs","description":null,"brand":"Springer Berlin","offers":[{"title":"Default Title","offer_id":53918598496598,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/christophe-filliatre-jean-types-for-proofs-and-programs-9783540314288","provider":"momoxbooks","version":"1.0","type":"link"}