Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Texts in Theoretical Computer Science. an Eatcs Ser.: Abstract Computing Machines : A Lambda Calculus Perspective by Werner Kluge (2010, Trade Paperback)
thenilestore (1247064)
99.1% positive feedback
Price:
AU $171.25
+ $4.99 postage
Returns:
30-day returns. Buyer pays for return postage. If you use an eBay postage label, it will be deducted from your refund amount.
Condition:
By Werner Kluge. This book takes a lambda calculus approach to organizing computations. Author Werner Kluge. The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects.
- Buy It NowAbstract Computing Machines: A Lambda Calculus Perspective by Werner Kluge (Engl
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherSpringer Berlin / Heidelberg
ISBN-103642059384
ISBN-139783642059384
eBay Product ID (ePID)107648275
Product Key Features
Number of PagesXiv, 384 Pages
LanguageEnglish
Publication NameAbstract Computing Machines : a Lambda Calculus Perspective
Publication Year2010
SubjectMachine Theory, Computer Science, Logic, Compilers
TypeTextbook
Subject AreaComputers, Mathematics
AuthorWerner Kluge
SeriesTexts in Theoretical Computer Science. an Eatcs Ser.
FormatTrade Paperback
Dimensions
Item Weight21.6 Oz
Item Length9.3 in
Item Width6.1 in
Additional Product Features
Intended AudienceScholarly & Professional
