Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, Tacas 2002, Held as Part of the Joint European Confer
NTD$3299
Books
也許更便宜
-
![Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Confe]()
- 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
- 商品搜尋日04-10
-
![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
