{"product_id":"beyer-dirk-toolympics-challenge-2023-updates-results-successes-of-the-formal-methods-competitions-9783031676949","title":"TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53902400029014,"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_9783031676949_1.jpg?v=1781875702","url":"https:\/\/www.momoxbooks.com\/products\/beyer-dirk-toolympics-challenge-2023-updates-results-successes-of-the-formal-methods-competitions-9783031676949","provider":"momoxbooks","version":"1.0","type":"link"}