Vlisp a verified implementation of scheme: a special issue of lisp and symbolic computation, an international journal: vol. 8: nos. 1 & 2 march 1995
Auteur :
Guttman, Joshua D.
ISBN :
9781461359913
Date de publication :
21 nov. 2012
Dimensions :
24,0 x 16,0 cm
Poids :
316 g
Langue :
Anglais
Pays d'origine :
USA