« 前にもどる
(2026/02/11 15:22:36時点)

近くの図書館から探してみよう

カーリルは全国の図書館から本を検索できるサービスです

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

ペーパーバック: 192 ページ / 16.0 x 1.1 x 24.0 cm

ISBN-10: 1461359910  ISBN-13: 9781461359913