Publisher | Springer; Softcover reprint of the original 1st ed. 1995 edition |
ISBN 13 | 9781461359913 |
ISBN 10 | 1461359910 |
Author | Joshua D. Guttman |
Book Format | Paperback |
Language | English |
Book Description | The 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 Date | 21 November 2012 |
Number of Pages | 192 pages |
We're Always Here To Help
Reach out to us through any of these support channels
fashion
women's fashionmen's fashiongirls' fashionboys' fashionwatchesjewellerywomen's handbagsmen's eyewearhome and kitchen
kitchen & diningbeddingbathhome decorhome appliancesTools & Home ImprovementPatio, Lawn & Gardenpet suppliesbeauty
women's fragrancemen's fragrancemake-uphaircareskincareBath & Body Electronic beauty toolsmen's grooming