Programming with Higher-Order Logic - Dale Miller - 图书 - Cambridge University Press - 9780521879408 - 2012年6月11日
如封面与标题不符，以标题为准

Dale Miller
Programming with Higher-Order Logic

价格
元 529
不含税

远程仓调货

预计送达时间 年6月22日 - 年7月2日

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单

Formal systems in computer science frequently involve specifications of computations over syntactic structures. In this book, the authors develop a programming language based on a simply typed version of higher-order logic and show that it provides an elegant approach to performing computations over structures embodying binding.

320 pages, 81 b/w illus.

介质类型 图书     Hardcover Book   (精装硬皮书)
已发行 2012年6月11日
ISBN13 9780521879408
出版商 Cambridge University Press
页数 320
商品尺寸 160 × 237 × 23 mm   ·   616 g
语言 英语  

Mere med samme udgiver

查看Dale Miller的全部作品 ( 例如 CD , Paperback Book , SCD 及 Hardcover Book )