|
- [중고]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월
- 판매자 중고(1) 117,950원
- 지금 택배로 주문하면 12월 2일 출고 변경
|
