VLISP
Subtitle: A Verified Implementation of Scheme
Contributors: Joshua D. Guttman (Editor); Mitchell Wand (Editor)
Publisher: Springer
Published: May 31, 1995
Language: eng
Format: Hardcover
Number of pages: 192
ISBN-13: 9780792395669
Subjects: Software engineering; LISP (Computer program languag; Lisp (Programming Language); Computers; Computers - Languages / Programming; Programming Languages - General; Computer Books: Languages; Programming - Software Development; LISP (Computer program language); Engineering - Electrical & Electronic; Computers / Programming Languages / General