VLISP A Verified Implementation of Scheme A Special Issue of Lisp and Symbolic Computation An International Journal Vol 8 Nos 1 2 March 1995

Name: VLISP A Verified Implementation of Scheme A Special Issue of Lisp and Symbolic Computation An International Journal Vol 8 Nos 1 2 March 1995
Brand: Springer
SKU: 9780792395669
Price: 152.99 GBP
Availability: InStock

Product form

£152.99

Includes FREE delivery

RRP £169.99 – you save £17.00 (10%)

Order before 4pm today for delivery by Wed 24 Jun 2026.

A Hardback by Joshua D. Guttman, Mitchell Wand

15 in stock

Trusted by thousands of customers. See 2,385+ Customer Reviews

View other formats and editions of VLISP A Verified Implementation of Scheme A Special Issue of Lisp and Symbolic Computation An International Journal Vol 8 Nos 1 2 March 1995 by Joshua D. Guttman

Publisher: Springer
Publication Date: 31/05/1995
ISBN13: 9780792395669, 978-0792395669
ISBN10:

Also in:
Computing Artificial intelligence (AI) Compilers and interpreters Software Engineering