.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Abstract Computing Machines
Werner Kluge
€ 127.69
FREE Delivery in Ireland
Description for Abstract Computing Machines
Paperback. Emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 384 pages, 89 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 611.
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
384
Condition
New
Series
Texts in Theoretical Computer Science: An EATCS Series
Number of Pages
384
Place of Publication
Berlin, Germany
ISBN
9783642059384
SKU
V9783642059384
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Werner Kluge
Received 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 ... Read more
Reviews for Abstract Computing Machines
From the reviews: "This remarkable monograph is an extremely well-written and pleasant and reading about abstract computing machines … . The author chooses a somewhat ‘imperative’ approach to teaching, which results in the survey of a vast number of concepts provided with many useful examples. The expository style is most favourable, which could be of special value ... Read more