Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Name: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Price: 4041.61 TWD
Availability: InStock

产品编号: 276460045

安全交易

经常一起购买

描述

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

常见问题

TrustPilot

TrustScore 4.5 | 7,300多个评论

Sneha T.

我收到的产品完好无损。总体来说服务很棒。

1 个月前

Anjali K.

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

1 个月前

查看所有TrustPiLot评论

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

物有所值

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

全球购物

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

增强保护

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

客户保证

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

沙漠车应用程序

随时随地随时随地购物。

NT$4041

Taiwan店铺

免费退货

30天对于 PRO 会员用户

15天无会员资格

安全交易

TrustPilot

TrustScore 4.5 | 7,300多个评论

法蒂玛 A.

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

3天前

Pooja R.

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

1 周前

查看所有TrustPiLot评论