Abstract Computing Machines: A Lambda Calculus Perspective Book

Name: Abstract Computing Machines: A Lambda Calculus Perspective, , Abs
Brand: Steidl Publishing
SKU: 9783540211464
Price: 99.99 USD
Availability: InStock
Rating: 3 (2 reviews)

2 Ratings

Abstract Computing Machines: A Lambda Calculus Perspective, , Abstract Computing Machines: A Lambda Calculus Perspective

3 out of 5 stars based on 2 reviews

Abstract Computing Machines: A Lambda Calculus Perspective
Written by author Werner Kluge
Published by Springer-Verlag New York, LLC, April 2005
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming lang

Buy Digital USD$99.99

Book Categories

Authors

1 Introduction 1
2 Algorithms and programs 11
3 An algorithmic language 37
4 The [lambda]-calculus 51
5 The SE(M)CD machine and others 89
6 Toward full-fledged [lambda]-calculus machines 113
7 Interpreted head-order graph reduction 149
8 The B-machine 171
9 The G-machine 193
10 The [pi]-RED machinery 215
11 Pattern matching 253
12 Another functional abstract machine 271
13 Imperative abstract machines 289
14 Real computing machines 321
A Input/output 347
B On theorem proving 361

Title: Abstract Computing Machines: A Lambda Calculus Perspective

Manufacturer:

Steidl Publishing

Item Number: 9783540211464

Publication Date: April 2005

Number: 1

Product Description: Full Name: Abstract Computing Machines: A Lambda Calculus Perspective; Short Name:Abstract Computing Machines

Universal Product Code (UPC): 9783540211464

WonderClub Stock Keeping Unit (WSKU): 9783540211464

Rating: 3/5 based on 2 Reviews

Image Location: https://wonderclub.com/images/covers/14/64/9783540211464.jpg

Category: Media >> Books

Weight: 0.200 kg (0.44 lbs)

Width: 0.000 cm (0.00 inches)

Heigh : 0.000 cm (0.00 inches)

Depth: 0.000 cm (0.00 inches)

Date Added: August 25, 2020, Added By: Ross

Date Last Edited: August 25, 2020, Edited By: Ross

Price	Condition	Delivery	Seller	Action
$99.99	Digital	Arrives between May 6 - Jun 5 Login to your account for a direct download. Some files are emailed from Dropbox. Continent $0.00 - World $0.00	WonderClub (9296 total ratings)

Question Concerning Abstract Computing Machines

Ask a Question about Abstract Computing Machines

No Question found!

Read Reviews for Abstract Computing Machines: A Lambda Calculus Perspective Write review

Sydny Guechtal

reviewed Abstract Computing Machines: A Lambda Calculus Perspective on September 11, 2012

Abstract Computing Machines

An exceptional textbook for computer science. This is not among the very popular titles on the subject, but one of the best.

You must be logged in to add to Wishlist

This item is in your Wish List

This item is in your Collection

This Item is in Your Inventory

You must be logged in to review the products

Add Abstract Computing Machines: A Lambda Calculus Perspective, , Abstract Computing Machines: A Lambda Calculus Perspective to the inventory that you are selling on WonderClub

Add Abstract Computing Machines: A Lambda Calculus Perspective, , Abstract Computing Machines: A Lambda Calculus Perspective to your collection on WonderClub

Abstract Computing Machines: A Lambda Calculus Perspective Book

Book Categories

Authors

Steidl Publishing

Question Concerning Abstract Computing Machines

Read Reviews for Abstract Computing Machines: A Lambda Calculus Perspective Write review

Login

Complaints

Blog

Games

Digital Media

Souls

Obituary

Contact Us

FAQ