|
- Interactive Theorem Proving: 8th International Conference, Itp 2017, Bras?ia, Brazil, September 26-29, 2017, Proceedings (Paperback, 2017)
- Cesar a. Munoz, Mauricio Ayala-Rincon (엮은이)
- Springer International Publishing | 2017년 08월 | 2017년 08월
- 76,850원 (18% 할인 / 3,850원)
- 택배로 주문하면 11월 18일 출고 변경
|
|