eBay |
CURRENTLY SOLD OUT
Abstract Computing Machines: A Lambda Calculus Perspective by Werner Kluge (Paperback, 2010)
Best-selling in Non-Fiction Books
5 Love Languages: The Secret to Love That Lasts by Gary Chapman (Paperback, 2014)
TRENDING PRICE
- AU $22.59New
Vanishing Towns: Tasmania's Ghost Towns and Settlements by Michael Holmes (Hardback, 2014)
TRENDING PRICE
- AU $65.74New
Learn to Draw Birds Bird Anatomy for Artists by Natalia Balo
TRENDING PRICE
- AU $40.21New
Behold a Pale Horse by Milton Cooper (Paperback, 1995)
TRENDING PRICE
- AU $32.54New
The Spinal Nerves Anatomical Chart by Anatomical Chart Co. (Fold-out book or chart, 2001)
TRENDING PRICE
- AU $20.03New
Anatomy of the Heart Anatomical Chart by Anatomical Chart Co. (Fold-out book or chart, 2004)
TRENDING PRICE
- AU $19.65New
Save on Non-Fiction Books
Exploring Strategy Text & Cases by Richard Whittington, Gerry Johnson, Kevan Sc
AU $90.88Trending at AU $93.04The Book of Answers by Carol Bolt (Hardback, 1999)
AU $28.71Trending at AU $30.82Becoming A Supple Leopard Starrett Kelly 9781628600834
AU $52.98Trending at AU $78.83Journals by Kurt Cobain.
AU $34.29Trending at AU $38.68Wing Chun Kung Fu: Traditional Chinese King Fu for Self-Defense and Health by Yi
AU $26.78Trending at AU $29.35Leather Braiding Grant B. 9780870330391
AU $16.99Trending at AU $17.94Huggens Kim/ Dunne Erik C.-Illuminati Tarot Kit (US IMPORT) ACC NEW
AU $36.48Trending at AU $41.21
You may also like
About this product
Description
- DescriptionThe book emphasizes the design of full-fledged, fully rmalizing lambda calculus machinery, as opposed to the just weakly rmalizing machines.
- Author BiographyReceived a Dr. rer. nat. degree in physics from the Technical University Munich/Germany in 1968; worked in industrie/research institutes at the central laboratories of Siemens AG between 1963 and 1968, at Bell Northern Research Ltd in Ottawa/Canada between 1969, and 1972 at the Gesellschaft fuer Mathematik und Datenverarbeitung in St. Augustin/Germany between 1973 and 1978; became an associate professor of computer science at the University of Bonn/Germany in 1978; became a full professor of computer science at the University of Kiel/Germany retired in 2003.
Key Features
- Author(s)Werner Kluge
- PublisherSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Date of Publication02/11/2010
- LanguageEnglish
- FormatPaperback
- ISBN-103642059384
- ISBN-139783642059384
- SubjectComputing: Professional & Programming
- Series TitleTexts in Theoretical Computer Science: An EATCS Series
Publication Data
- Place of PublicationBerlin
- Country of PublicationGermany
- ImprintSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Content Note89 black & white illustrations, biography
Dimensions
- Weight611 g
- Width155 mm
- Height235 mm
- Spine21 mm
Editorial Details
- Edition StatementSoftcover reprint of hardcover 1st ed. 2005
This item doesn't belong on this page.
Thanks, we'll look into this.