{"product_id":"unknown-using-psl-sugar-for-formal-and-dynamic-verification-2nd-edition-9780970539465","title":"Using PSL\/Sugar for Formal and Dynamic Verification 2nd Edition","description":null,"brand":"momoxbooks","offers":[{"title":"Used - good","offer_id":53251403350358,"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_9780970539465_1_4a3a32dd-bb94-4f06-8199-88c89bab3042.jpg?v=1781215129","url":"https:\/\/www.momoxbooks.com\/products\/unknown-using-psl-sugar-for-formal-and-dynamic-verification-2nd-edition-9780970539465","provider":"momoxbooks","version":"1.0","type":"link"}