Certified Programming with Dependent Types - Adam Chlipala - 图书 - MIT Press - 9780262545747 - 2022年6月7日
如封面与标题不符，以标题为准

Adam Chlipala
Certified Programming with Dependent Types

价格
元 452
不含税

远程仓调货

预计送达时间 年6月12日 - 年6月24日

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单
介质类型 图书     Book
已发行 2022年6月7日
ISBN13 9780262545747
出版商 MIT Press
页数 436
商品尺寸 150 × 220 × 20 mm   ·   680 g
语言 英语  

Mere med samme udgiver

查看Adam Chlipala的全部作品 ( 例如 Book )