VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
詳しい情報
出版社: Springer(2012-11-21)
ペーパーバック: 192 ページ / 16.0 x 1.1 x 24.0 cm
ISBN-10: 1461359910 ISBN-13: 9781461359913