{"product_id":"functional-data-structures-and-algorithms-a-proof-assistant-approach-9798400731594","title":"Functional Data Structures and Algorithms  A Proof Assistant Approach","description":"","brand":"John Wiley \u0026 Sons","offers":[{"title":"Default Title","offer_id":53238452519255,"sku":"9798400731594","price":41.8,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/functional-data-structures-and-algorithms-a-proof-assistant-approach-9798400731594","provider":"Book Curl","version":"1.0","type":"link"}