Hi, 欢迎访问门门
登录 | 注册
IOS
Android
收藏
判定过程SAT与SMT求解算法第2版
新阅在线价格：159.80元
商品属性：
- 版次：第1版
- description：判定过程sat与smt求解算法第2版
- 页码：352
- 出版社：人民邮电
- 作者：(英)丹尼尔·克勒宁daniel
- 出版日期：2025-09-01
- 商家：江西新华书店
- isbn：9787115662200
价格趋势
该商城历史价格
当前商城现价159.80元
历史最低价159.80元（2026-03-16）
历史最高价159.80元（2026-03-16）
详细参数
- 版次第1版
- description判定过程sat与smt求解算法第2版
- 页码352
- 出版社人民邮电
- 作者(英)丹尼尔·克勒宁daniel
- 出版日期2025-09-01
- 商家江西新华书店
- isbn9787115662200