Werner Kluge
Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series Werner Kluge Softcover reprint of hardcover 1st ed. 2005 edition

Name: Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series
Price: 713 CNY
Availability: OutOfStock
Author: Werner Kluge

价格

元 713

不含税

远程仓调货

预计送达时间年7月16日 - 年7月28日

顾客评价：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

根据欧洲消费者保护法享受14天退换货政策

Trustpilot平台高分认证

添加至iMusic心愿单

其他版本：

Hardcover Book

2005 edition

(2005) 元 827

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

Werner Kluge

Softcover reprint of hardcover 1st ed. 2005 edition

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

384 pages, 89 black & white illustrations

介质类型	图书 Paperback Book (平装胶订图书)
已发行	2010年11月10日
ISBN13	9783642059384
出版商	Springer-Verlag Berlin and Heidelberg Gm
页数	384
商品尺寸	155 × 235 × 21 mm · 557 g
语言	英语