{"product_id":"toolympics-challenge-2023-updates-results-successes-of-the-formalmethods-competitions-9783031676949","title":"TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions","description":"\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 172 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 01 November 2024\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eTOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031676949\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 2024 ed.\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Paperback \/ softback","offer_id":47481795707130,"sku":"9783031676949","price":41.64,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/files\/1751668002475_book.jpg?v=1751746606","url":"https:\/\/shulphink.com\/products\/toolympics-challenge-2023-updates-results-successes-of-the-formalmethods-competitions-9783031676949","provider":"Shulph Ink","version":"1.0","type":"link"}