Refinement Stepwi Compiler 模块化编译器验证：一种支持 Advocating Verification Approach 海外直订Modular Algebraic
Refinement Stepwi Compiler 模块化编译器验证：一种支持 Advocating Verification Approach 海外直订Modular Algebraic
￥553￥553
Advocating Verification Refinement Compiler Approach Algebraic Stepwi
中华商务图书专营店
查看商品详情 点击展开

相关推荐

编 科普读物 新华书店正版 长江三角洲卷 图书籍 书专业科技 大城小虫工作室 技术类原版 常见昆虫野外识别手册 自然科学
￥29.56 折扣价 已售:14
书 技术类原版 美 自然科学 科普读物 含港台 刘忆重庆大学进口原版 译者 阿道夫·梅耶 图书号角屋——包豪斯实验住宅 正版
￥28.9 折扣价
编 科普读物 新华书店正版 长江三角洲卷 图书籍 书专业科技 大城小虫工作室 技术类原版 常见昆虫野外识别手册 自然科学
￥29.35 折扣价
书生活 社 著 重庆大学出版 图书籍 新华书店正版 技术类原版 自然科学 科普读物 邱成利 科普管理
￥33.33 折扣价
著 社 辽宁科学技术出版 技术类原版 英 保罗·穆丁 书专业科技 译 EasyNight 图书籍 宇宙传记 科普读物 新华书店正版 自然科学
￥54.29 折扣价
著 社 辽宁科学技术出版 技术类原版 英 保罗·穆丁 书专业科技 译 EasyNight 图书籍 宇宙传记 科普读物 新华书店正版 自然科学
￥52.82 折扣价

复制分享文案

分享给好友

点击一键复制

复制口令购买
↓↓复制下方口令，打开手机淘宝，即可购买↓↓

点击复制