|
- Certified Programs and Proofs: First International Conference, Cpp 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Paperback, 2011)
- Zhong Shao, Jean-Pierre Jouannaud (엮은이)
- Springer-Verlag New York Inc | 2011년 11월 | 2011년 11월
- 83,330원 (18% 할인 / 4,170원)
- 택배로 주문하면 11월 21일 출고 변경
|
|