|
- [외국도서] Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Tacas 2024, Held as Part of the European Joint Confe (Paperback, 2024)
- Bernd Finkbeiner, Laura Kov?s (엮은이)
- Springer | 2024년 04월 | 2024년 04월
- 77,600원 (10% 할인 / 2,330원)
- 택배로 주문하면 8월 22일 출고 변경
|
|