Hi, 欢迎访问门门
登录 | 注册
IOS
Android
收藏
形式化验证:现代VLSI设计的推荐工具包(原书第2版)
新华书店网上商城价格：129.00元
商品属性：
- 中图分类号：tn472
- 出版日期：2026-01-01
- 开本：16开
- 印刷时间：2026-01-01
- 字数：507000
- 编号：9787111796565
- 出版社：机械工业
- 印次：1
- 出次：1
- 作者：埃里克.塞利格曼/汤姆·舒伯特
价格趋势
该商城历史价格
当前商城现价129.00元
历史最低价129.00元（2026-03-18）
历史最高价129.00元（2026-03-18）
详细参数
- 中图分类号tn472
- 出版日期2026-01-01
- 开本16开
- 印刷时间2026-01-01
- 字数507000
- 编号9787111796565
- 出版社机械工业
- 印次1
- 出次1
- 作者埃里克.塞利格曼/汤姆·舒伯特
- 页数315