Free & Easy Returns
Best Deals
Free & Easy ReturnsBest Deals
| 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 |
![/fashion-men/jack_jones/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20240305/4ef48af441e2b44cea1673cd2e4aff67/en_dk-men-brands-04.png)
![/fashion-men/seventy_five/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20240305/4ef48af441e2b44cea1673cd2e4aff67/en_dk-womens-new-brands-01.png)
![/fashion-men/skechers/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20240305/4ef48af441e2b44cea1673cd2e4aff67/en_dk-womens-new-brands-02.png)
![/fashion-women/mango/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20240305/4ef48af441e2b44cea1673cd2e4aff67/en_dk-women-brands-05.png)
![/fashion-women/guess/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20240305/4ef48af441e2b44cea1673cd2e4aff67/en_dk-women-brands-09.png)
![/fashion-women/ella/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20241812/en_dk-nav-brands-01.png)
![/fashion-women/skechers/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20241812/en_dk-nav-brands-02.png)
![/fashion/view-all-kids-clothing/nike/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20240911/nav-web/en_mb_uae_brand-01.png)
![/fashion/view-all-kids-clothing/disney/disney_minnie_mouse/disney_frozen/disney_princess/disney_mickey_mouse/disney_baby/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20240911/nav-web/en_mb_uae_brand-03.png)
![/fashion/view-all-kids-clothing/new_balance/?sort[by]=popularity&sort[dir]=desc&limit=50](https://a.nooncdn.com/cms/pages/20240911/nav-web/en_mb_uae_brand-11.png)
![/baby-products/momcozy/?f[partner][]=p_9404&sort[by]=popularity&sort[dir]=desc&limit=50&page=1&isCarouselView=false&av=0](https://a.nooncdn.com/cms/pages/20241031/navrev-baby/en_uae_dk-nav-04.png)
![/music-movies-and-tv-shows/musical-instruments-24670/pianos-keyboards-synthesizers/roland/?sort[by]=popularity&sort[dir]=desc&limit=50&page=1&isCarouselView=false](https://f.nooncdn.com/cms/pages/20250407/books-nav/en_uae_dk-nav-brands-05.png)
![/music-movies-and-tv-shows/musical-instruments-24670/pianos-keyboards-synthesizers/mike_music/?sort[by]=popularity&sort[dir]=desc&limit=50&page=1&isCarouselView=false](https://f.nooncdn.com/cms/pages/20250407/books-nav/en_ksa_dk-nav-brands-04.png)
