Certified Programming With Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Name: Certified Programming With Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Price: 745.21 HKD
Availability: InStock

产品编号: 586403970

安全交易

经常一起购买

描述

Certified Programming With Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

常见问题

TrustPilot

TrustScore 4.5 | 7,300多个评论

Anjali K.

产品质量出色。正是我的工作所需要的。

1 个月前

阿里·H.

发货快，包装精良。Leatherman 工具手感非常高档和坚固。

1天前

查看所有TrustPiLot评论

全球购物，通过 Desertcart 享受优惠

物有所值

各种产品的价格具有竞争力

全球购物

为 200 多个国家/地区的 3 亿多购物者提供服务

增强保护

深受全球购物者喜爱的值得信赖的支付方式

客户保证

深受全球购物者喜爱的值得信赖的支付方式。

沙漠车应用程序

随时随地随时随地购物。

HK$745

Hong Kong店铺

免费退货

30天对于 PRO 会员用户

15天无会员资格

安全交易

TrustPilot

TrustScore 4.5 | 7,300多个评论

Farhan Q.

交货时间非常好，包装也很安全。

2 个月前

阿卜杜拉·B.

正品，价格实惠。国际送货也很快！

3 周前

查看所有TrustPiLot评论