Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540211464 - February 18, 2005
In case cover and title do not match, the title is correct

Werner Kluge
Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series 2005 edition

Price
HK$ 967
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 28 - Aug 7
Get notified about new Werner Kluge releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Also available as:

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.

404 pages, 89 black & white illustrations, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released February 18, 2005
Original release date 2004
ISBN13 9783540211464
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 384
Dimensions 155 × 235 × 23 mm   ·   712 g

More from the same publisher

See all of Werner Kluge ( e.g. Paperback Book and Hardcover Book )