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: 52.00 SGD
Availability: InStock

产品编号: 443385545

安全交易

经常一起购买

描述

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

常见问题

TrustPilot

TrustScore 4.5 | 7,300多个评论

Pooja R.

客户服务超出了我的预期。非常适合购买在其他地方找不到的产品。

1 周前

维克拉姆·D.

MOLLE 护套质量非常好。我对这次购买非常满意。

2 周前

查看所有TrustPiLot评论

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

物有所值

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

全球购物

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

增强保护

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

客户保证

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

沙漠车应用程序

随时随地随时随地购物。

S$52

SINGAPORE店铺

免费退货

30天对于 PRO 会员用户

15天无会员资格

安全交易

TrustPilot

TrustScore 4.5 | 7,300多个评论

阿里·H.

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

1天前

尤素夫·A.

总体来说，体验非常棒。会推荐给朋友和家人。

1 个月前

查看所有TrustPiLot评论