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)
Location:  Year:  Volume Number: 
Items
  • 1 records • Pages 1 •
 
W0019322 罕用書庫221室(美崙校區,調書請點預約)(RU_221) 01.外借(書)_YB 一般圖書 QA76.73.L23 V871 1995 一般使用(Normal) On shelf 0
  • 1 records • Pages 1 •
Reviews
Export
pickup library
 
 
Change password
Login