|
- Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995 (Paperback, Softcover Repri)
- Mitchell Wand, Joshua D. Guttman (엮은이)
- Springer | 2012년 11월 | 2012년 11월
- 233,680원 (18% 할인 / 11,690원)
- 택배로 주문하면 11월 22일 출고 변경
|
|