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