VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Editat de Joshua D. Guttman et al.
30 mai 1995
Hardback
Preț: 953.40 lei 1191.75 lei
6-8 săpt.
-20%