The Calculus of Computation Decision Procedures with Applications to Verification 计算微积分：决策过程及其在验证中的应
Decision Procedures with Applications to
店铺：北京国际图书专营店品牌：无品牌地址：北京商城：天猫
335优惠价395在售价
天猫淘金币可抵11.85元60元品牌精选省60.00元
月销量 0热度 0推荐度 101.50%看更多
看了又看
The Calculus of Computation Decision Procedures with Applications to Verification 计算微积分：决策过程及其在验证中的应
2026新版税法一官方教材
你是你吃出来的磨铁正版
现货妙趣插画6周年纪念版
【每日打卡】三年级语文同步字帖
管理的实践+干法+卓有成效的管理者+稻盛和夫阿米巴经营+卓有成效管理者的实践 稻盛和夫彼得德鲁克管理经典丛书
春秋三全本左右双栏对照
海外直订How to Restore Honda Cx500 & Cx650: Your Step-By-Step Colour Illustrated Guide t 如何恢复本田Cx50
论语孟子大学中庸道德经了凡四训
归路小说磨铁官方正版书籍
商品描述与属性
- 类目：书籍/杂志/报纸
- 分类：原版其它
相关商品
书籍/杂志/报纸58低价
从前有只独角兽 Once Upon a Unicorn Horn 英文原版绘本 西班牙插画师 Beatrice Blue 英文版儿童英语故事书 进口原版书籍
天猫好物无品牌
购买2021纽伯瑞银奖53.7券后价
66.7BOX: Henry Brown Mails Himself to Freedom 为了自由寄出自己的亨利·布朗 2021纽伯瑞银奖 英文原版
天猫好物书籍/杂志/报纸
5元优惠券书籍/杂志/报纸26.4限时补贴
30【中商原版】马克吐温短篇小说集 英文原版小说 Mark Twain's Short Stories 英文版 美国知名作家经典原
销量35书籍/杂志/报纸
优惠3.6元【科技探秘系列】卫星全知道 【110.57限时优惠
136【现货】【科技探秘系列】卫星全知道【Adventures in Tech】Satellites英文儿童绘本知识百科Kate Peridot精装9-12岁DK Children
天猫好物机械工业出版社
优惠25.43元国外库房发货,通常付款后5-8周到货!567券后价
617【预订】Transactional Machine Learning with Data Streams and AutoML
天猫好物书籍/杂志/报纸
50元优惠券学生书本+练习册108券后价
139美国国家地理新版Wonderful World 1 2 3 4 5 6 级别缤纷世界1-6年级美国小学英语教材英文原版教材我们的奇妙世界英文课外课程NGL
天猫好物无品牌
10元优惠券学乐成功系列练习册 大开本 图文并茂34.7低价
小学五年级学乐英语阅读测试 英文原版英语教材 Scholastic Success With Reading Tests 5 学乐成功系列 小学生家庭练习册英文版
天猫好物华研外语
购买神圣的现代性：现代主义教堂建筑352.05券后价
440.8【预售】神圣的现代性：现代主义教堂建筑 Sacred Modernity : The Holy Embrace of Modernist 原版英文摄影作品集人文景观
天猫好物无品牌
5元优惠券3本套装（主课本+练习册+家庭活动手册）158限时补贴
186现货原版进口剑桥国际少儿英语Power Up教材1 2 3 4 5 6级powerup教材剑桥少儿英语教材YLE/KET剑桥考试cambridge词汇语法中图正版
销量59无品牌
优惠28元书籍/杂志/报纸1209满元减
1341【3-4周达】精装 Radio-Frequency Digital-to-Analog Converters: Implementation in Nanoscale CMOS [9780128022634]
天猫好物无品牌
优惠132元