{"product_id":"toolympics-challenge-2023-springer-international-publishing-ag-9783031676949-updates-results-successes-of-the-formal-methods-competitions-dirk-beyer","title":"TOOLympics Challenge 2023","description":"\u003cp\u003eDiscover the exciting world of formal methods with the latest release, \u003cstrong\u003eTOOLympics Challenge 2023\u003c\/strong\u003e by Dirk Beyer. Published by Springer International Publishing AG in 2024, this engaging paperback edition spans 172 pages and captures the essence of the third edition of the TOOLympics series. This event, held alongside the European Joint Conferences on Theory and Practice of Software (ETAPS 2023) in Paris, France, showcases thrilling competitions that push the boundaries of software methodologies. Whether you are a student, researcher, or professional in the field, this book offers valuable insights and highlights from the event. Join the challenge and elevate your understanding of formal methods with this essential read!\u003c\/p\u003e","brand":"Dirk Beyer","offers":[{"title":"Default Title","offer_id":52255930679638,"sku":"9783031676949","price":60.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031676949.jpg?v=1767785423","url":"https:\/\/www.bookshop.lt\/products\/toolympics-challenge-2023-springer-international-publishing-ag-9783031676949-updates-results-successes-of-the-formal-methods-competitions-dirk-beyer","provider":"Bookshop","version":"1.0","type":"link"}