TOOLympics Challenge 2023

TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: TOOLympics Challenge 2023 : 9783031676956, 3031676955 および 印刷版のISBNは 9783031676949, 3031676947. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: TOOLympics Challenge 2023 : 9783031676956, 3031676955 および 印刷版のISBNは 9783031676949, 3031676947. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。