• usp_easy_retunsFree & Easy Returns
  • usp_best_dealsBest Deals

VLISP A Verified Implementation of Scheme

903.00
Inclusive of VAT
nudge icon
Free Delivery
nudge icon
Free Delivery
noon-marketplace
Get it by 5 July
Order in the next 48 m
Delivery 
by noon
Delivery by noon
Cash on 
Delivery
Cash on Delivery
Secure
Transaction
Secure Transaction
placeholder
/emkan/
Product Overview
Specifications
PublisherSpringer; Softcover reprint of the original 1st ed. 1995 edition
ISBN 139781461359913
ISBN 101461359910
AuthorJoshua D. Guttman
Book FormatPaperback
LanguageEnglish
Book DescriptionThe VLISP project showed how to produce a comprehensively verified implemen­ tation for a programming language, namely Scheme [4, 15). Some of the major elements in this verification were: • The proof was based on the Clinger-Rees denotational semant
Publication Date21 November 2012
Number of Pages192 pages
Cart Total  903.00

We're Always Here To Help

Reach out to us through any of these support channels

Shop On The Go

App StoreGoogle PlayHuawei App Gallery

Connect With Us

madamastercardvisatabbytamaraamexcod
Noon E Commerce Solutions One Person Company LLCCR No. 1010703009VAT No. 302004655210003