|
- Types for Proofs and Programs: International Conference, Types 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Paperback, 2008)
- Marino Miculan, Ivan Scagnetto, Furio Honsell (엮은이)
- Springer-Verlag New York Inc | 2008년 05월 | 2008년 05월
- 76,850원 (18% 할인 / 3,850원)
- 택배로 주문하면 9월 4일 출고 변경
|
|