检索条件： 形式化验证 ( 题名 )

检索结果共有5条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书形式化验证：现代VLSI设计的必备工具包
责任者 (美) 埃里克·塞利格曼, (美) 汤姆·舒伯特, (印) M. V. 阿楚塔·基兰·库马尔著

出版信息机械工业出版社 ,2026

ISBN 978-7-111-79656-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
(美) 埃里克·塞利格曼, (美) 汤姆·舒伯特, (印) M. V. 阿楚塔·基兰·库马尔著.形式化验证：现代VLSI设计的必备工具包.机械工业出版社,2026.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/985690
复制引文到剪贴板

形式化验证：现代VLSI设计的必备工具包

(美) 埃里克·塞利格曼, (美) 汤姆·舒伯特, (印) M. V. 阿楚塔·基兰·库马尔著.机械工业出版社,2026.
2 图书芯片形式化验证原理.方法与实战
责任者王亮

出版信息机械工业出版社 ,2025-07

ISBN 978-7-111-78268-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
王亮.芯片形式化验证原理.方法与实战.机械工业出版社,2025-07.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/972490
复制引文到剪贴板

芯片形式化验证原理.方法与实战

王亮.机械工业出版社,2025-07.
3 图书芯片形式化验证原理、方法与实战
责任者王亮, 谭永亮编著

出版信息机械工业出版社 ,2025

ISBN 978-7-111-78268-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
王亮, 谭永亮编著.芯片形式化验证原理、方法与实战.机械工业出版社,2025.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/968563
复制引文到剪贴板

芯片形式化验证原理、方法与实战

王亮, 谭永亮编著.机械工业出版社,2025.
4 图书分数阶系统高阶逻辑形式化验证
责任者赵春娜, 蒋慕蓉著

出版信息科学出版社 ,2023

ISBN 978-7-03-062206-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
赵春娜, 蒋慕蓉著.分数阶系统高阶逻辑形式化验证.科学出版社,2023.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/882393
复制引文到剪贴板

分数阶系统高阶逻辑形式化验证

赵春娜, 蒋慕蓉著.科学出版社,2023.
5 图书数字集成电路设计验证：量化评估、激励生成、形式化验证
责任者李晓维 ... [等] 著

出版信息科学出版社 ,2010.05

ISBN 978-7-03-027609-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
李晓维 ... [等] 著.数字集成电路设计验证：量化评估、激励生成、形式化验证.科学出版社,2010.05.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/311191
复制引文到剪贴板

数字集成电路设计验证：量化评估、激励生成、形式化验证

李晓维 ... [等] 著.科学出版社,2010.05.

通借成功!

预约成功!