海外直订Verification,Model Checking,and Abstract Interpretation: 16th International Co 验证、模型检查和抽象解释：

欢迎加入我爱买系列

关注微信公众号
查券更方便

海外直订Verification, Model Checking, and Abstract Interpretation: 16th International Co 验证、模型检查和抽象解释：

589元~~￥639~~预计返￥ 2.7850元券

活动结束时间：11-30 23:59 累计销量： 0件

TAG标签： InterpretationInternationalVerification抽象

手机淘宝扫码领券购买