Dale Miller & Gopalan Nadathur 
Programming with Higher-Order Logic [PDF ebook] 

支持
€54.08
支付方式
购买此电子书可免费获赠一本!
语言 英语 ● 格式 PDF ● ISBN 9781139512121 ● 出版者 Cambridge University Press ● 发布时间 2012 ● 下载 6 时 ● 货币 EUR ● ID 2486077 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

16,637 此类电子书