|
- Types for Proofs and Programs: International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers (Paperback, 2004)
- Stefano Berardi, Ferruccio Damiani, Mario Coppo (엮은이)
- Springer-Verlag New York Inc | 2004년 06월 | 2004년 06월
- 77,360원 (18% 할인 / 3,870원)
- 택배로 주문하면 12월 2일 출고 변경
|
|
