淘优券
TAOUQ
首页
热销榜
热门好券
母婴好物
品牌好货
天天特卖
生活服务
潮流style
特惠
热门搜索
热门频道
大家正在看
上新优惠券
稀缺优惠券
高销量商品
9块9
20元封顶
旗舰店热卖
商品赛选
选择
分类
科普读物/自然科学/技术类原版书
原版其它
主分类
书籍/杂志/报纸
店铺
中国国际图书专营店
澜瑞图书专营店
活动
好券直播
品牌券
大额优惠券
实时热销榜
商品
有优惠券
海外商品
天猫
高好评
包邮
价格
-
相关分类
科普读物/自然科学/技术类原版书
原版其它
优惠搜索
综合排行⬙
销量⬙
价格⬘
人气⬙
实力⬙
推荐⬙
价格⬙
销量⬘
人气⬘
实力⬘
推荐⬘
商品筛选
669
819
-50元
[预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667
国外库房发货,通常付款后5-8周到货!
779
819
-40元
【4周达】Concise Guide to Software Verification: From Model Checking to Annotation Checking [9783031301667]
原版新书 3-4周内到达苏州后顺丰快递发出
相关频道
书籍/杂志/报纸
大家正在逛频道
辣木籽
尿酸调理食品
明装筒灯
调色纸
腋下包
扑克
字帖/练字帖
其他清洗耗材
公益
电子阅览器/电纸书
计数器
宠物配种
开关按钮零件
半身裙加工定制
美容镜
蚊帐