Hi, 欢迎访问门门
登录 | 注册
IOS
Android
收藏
判定过程 SAT与SMT求解算法第2版
北方图书城价格：137.43元
商品属性：
- 版次：第1版
- 开本：16开
- 编者：丹尼尔·克勒宁/奥弗·施特里希曼着着蔡少伟译译
- 字数：460000
- 编号：wx1203848156
- 出版社：人民邮电
- 装帧：平装
- 印次：1
- 页数：352
- isbn：9787115662200
价格趋势
该商城历史价格
当前商城现价137.43元
历史最低价137.43元（2025-10-30）
历史最高价137.43元（2025-10-30）
详细参数
- 版次第1版
- 开本16开
- 编者丹尼尔·克勒宁/奥弗·施特里希曼着着蔡少伟译译
- 字数460000
- 编号wx1203848156
- 出版社人民邮电
- 装帧平装
- 印次1
- 页数352
- isbn9787115662200
- 出版年月2025-09-01