正版 模型检测 埃德蒙 M 克拉克 模型检测的基本知识模态逻辑符号化技术SATSolver限界模型检 品质好书 正版保障 优质服务 发货及时 售后无忧
¥57.30定价:¥69.00 (8.31折)
世纪书缘图书专营店
3条评论
(美)埃德蒙 M 克拉克 /2018-11-01 /电子工业出版社
收藏