VLISP A Verified Implementation of Scheme

Name: VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation
Brand: Springer-Verlag New York Inc.
SKU: 9781461359913
Price: 11550.00 INR
Availability: InStock

A Special Issue of Lisp and Symbolic Computation

by Joshua Guttman

Springer-Verlag New York Inc. · 2012

₹11,550

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–5 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns.
Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹11,050 for this book (save ₹500).

9% off every book, up to ₹500 off per order.

About this book

VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation is written by Joshua Guttman. This edition is published by Springer-Verlag New York Inc. (2012).

Its main subjects are Software engineering, Computer science, Artificial intelligence and LISP (Computer program language).

About the author: Joshua Guttman (born 1955).