東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

VLISP : = a verified implementation ...

~

Guttman, Joshua D.

Linked to FindBook

Google Book

Amazon

博客來

VLISP : = a verified implementation of scheme /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	VLISP :/ edited by Joshua D. Guttman, Mitchell Wand.
Reminder of title:	a verified implementation of scheme /
other author:	Guttman, Joshua D.
Published:	Boston :Kluwer Academic, : c1995.,
Description:	184 p. ;25 cm.
Notes:	"A special issue of Lisp and symbolic computation, an international journal, vol. 8, nos. 1 & 2, March 1995."
Subject:	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

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

W0019322

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

01.外借(書)_YB

一般圖書

QA76.73.L23 V871 1995

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login