Vlisp a Verified Implementation of Scheme a Special Issue of Lisp And Symbolic Computation an International Journal Vol 8 Nos 1 2 March 1995

VLISP A Verfied Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, No

VLISP A Verfied Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995 By Joshua D. Guttman, John D. Ramsdell (auth.), Joshua D. Guttman, Mitchell Wand (eds.)
1995 | 184 Pages | ISBN: 1461359910 | PDF | 12 MB