Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz

Name: Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
Price: 245.61 HKD
Availability: InStock

产品编号: 362195746

安全交易

经常一起购买

描述

Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz

常见问题

TrustPilot

TrustScore 4.5 | 7,300多个评论

伊姆兰 F.

非常可靠的商店，产品真实可靠。一定会再次购买！

2 周前

法蒂玛 A.

我尝试过的最好的国际运输。物有所值！

3天前

查看所有TrustPiLot评论

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

物有所值

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

全球购物

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

增强保护

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

客户保证

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

沙漠车应用程序

随时随地随时随地购物。

HK$245

Hong Kong店铺

免费退货

30天对于 PRO 会员用户

15天无会员资格