34 元券预售ConstructionAlgorithmsTOOLympics￥5140去看看中国国际图书专营店发布了【预售】Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as ...34 元券TOOLympics挑战赛2023Competition￥5140去看看中国国际图书专营店发布了预订 TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competition TOOLympics 挑战赛 2023：形77 元券9783031676949CompetitionsToolympicsChallenge￥5600去看看澜瑞图书专营店发布了【3-4周达】Toolympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions [9783031676949]
![【3-4周达】Toolympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions [9783031676949]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01CCFFWf28LaM2tb97n_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
