Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Confe
NTD$2877
Books
也許更便宜
-
![Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, Tacas 2021, Held as Part of the European Joint Confe]()
- Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, Tacas 2021, Held as Part of the European Joint Confe
- NTD$2999
- 商品搜尋日03-02
-
![Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe]()
- Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe
- NTD$2999
- 商品搜尋日04-10
-
![Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Tacas 2024, Held as Part of the European Joint Confe]()
- Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Tacas 2024, Held as Part of the European Joint Confe
- NTD$2999
- 商品搜尋日04-10
-
![Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Confe]()
- Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Confe
- NTD$3299
- 商品搜尋日04-10
