同类推荐
-
-
算力珠玑：鲲鹏昇腾应用开发案例详解
-
¥89.90
-
-
中文版3ds Max 2024基础培训教程
-
¥69.80
-
-
龙芯之光：自主可控处理器设计解析
-
¥59.80
-
-
Adobe Premiere Pro 2024经典教程
-
¥69.90
-
-
信息技术基础
-
¥49.80
-
-
信息技术基础
-
¥49.80
-
-
信息技术基础
-
¥49.80
-
-
HTML5与CSS3网页设计项目教程
-
¥49.80
-
-
HTML5与CSS3网页设计项目教程
-
¥49.80
-
-
HTML5与CSS3网页设计项目教程
-
¥49.80
|
|
图书信息
|
|
|
|
判定过程:SAT与SMT求解算法 : 第2版
|
| ISBN： | 9787115662200 |
定价： | ￥159.80 |
| 作者： | (英) 丹尼尔·克勒宁 (Daniel Kroening) , (以) 奥弗·施特里希曼 (Ofer Strichman) , 著 |
出版社： | 人民邮电出版社 |
| 出版时间： | 2025年09月 |
版次： | 1版 |
| 开本： | 24 |
页数： | -1 |
| 装祯： | 平装 |
中图法： | TP301.6 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
1394
|
|
2025-10-14
|
|