東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

VLISP : = a verified implementation ...

~

Guttman, Joshua D.

FindBook

Google Book

Amazon

博客來

VLISP : = a verified implementation of scheme /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	VLISP :/ edited by Joshua D. Guttman, Mitchell Wand.
其他題名:	a verified implementation of scheme /
其他作者:	Guttman, Joshua D.
出版者:	Boston :Kluwer Academic, : c1995.,
面頁冊數:	184 p. ;25 cm.
附註:	"A special issue of Lisp and symbolic computation, an international journal, vol. 8, nos. 1 & 2, March 1995."
標題:	LISP (Computer program language) -
ISBN:	0792395662 (acid-free paper)

VLISP : = a verified implementation of scheme /
VLISP :a verified implementation of scheme /edited by Joshua D. Guttman, Mitchell Wand. - Boston :Kluwer Academic,c1995. - 184 p. ;25 cm.

"A special issue of Lisp and symbolic computation, an international journal, vol. 8, nos. 1 & 2, March 1995."

Includes bibliographical references and index.

ISBN: 0792395662 (acid-free paper)

LCCN: 95006715Subjects--Topical Terms:

634946
LISP (Computer program language)

LC Class. No.: QA76.73.L23 / V55 1995

Dewey Class. No.: 005.13/3

VLISP : = a verified implementation of scheme /
LDR:00681nam a2200193 a 45 001 648048
003 DLC
005 19950228084059.9
008 950223s1995 mau 001 0 eng
010 $a 95006715
020 $a 0792395662 (acid-free paper)
035 $a dt 00007933
040 $a DLC $c DLC
050 0 0 $a QA76.73.L23 $b V55 1995
082 0 0 $a 005.13/3 $2 20
245 0 0 $a VLISP : $b a verified implementation of scheme / $c edited by Joshua D. Guttman, Mitchell Wand.
260 $a Boston : $c c1995. $b Kluwer Academic,
300 $a 184 p. ; $c 25 cm.
500 $a "A special issue of Lisp and symbolic computation, an international journal, vol. 8, nos. 1 & 2, March 1995."
504 $a Includes bibliographical references and index.
650 $a LISP (Computer program language) $3 634946
700 $a Guttman, Joshua D. $3 659454
700 $a Wand, Mitchell. $3 637347
730 $a Lisp and symbolic computation. $3 659455

筆 0 讀者評論

館藏地: 出版年: 卷號:

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

W0019322

罕用書庫221室(美崙校區,調書請點預約)(RU_221)

01.外借(書)_YB

一般圖書

QA76.73.L23 V871 1995

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館

變更密碼

登入