形式化验证:现代VLSI设计的必备工具包(原书第2版)
新阅在线- 形式化验证:现代vlsi设计的必备工具包(原书第2版)
- 版次:第1版
- description:形式化验证:现代vlsi设计的必备工具包(原书第2版)
- 页码:315
- 出版社:机械工业
- 作者:(美)埃里克.塞利格曼erik
- 出版日期:2026-01-01
- 商家:江西新华书店
- isbn:9787111796565
价格趋势该商城历史价格
当前商城现价129.00元
历史最低价129.00元(2026-03-16)
历史最高价129.00元(2026-03-16)
详细参数 - 形式化验证现代vlsi设计的必备工具包(原书第2版)
- 版次第1版
- description形式化验证:现代vlsi设计的必备工具包(原书第2版)
- 页码315
- 出版社机械工业
- 作者(美)埃里克.塞利格曼erik
- 出版日期2026-01-01
- 商家江西新华书店
- isbn9787111796565