分享formal verification电子书

kang.kang · 发表于 2019-8-23 14:02:31

您需要登录才可以下载或查看，没有账号？注册

x

最近在看formal verification方面的东西，找到一本书觉得不错，分享给大家。

网上关于formal verification的资料似乎不多，大家有好的资料和学习途径以及对formal verification的看法欢迎留言回复~~

下载地址见附件，提取码回复可见。
提取码:

游客，如果您要查看本帖隐藏内容请回复

补充内容 (2021-8-20 16:22):
更多资料进Q群交流 698677676

542002990 · 发表于昨天 08:14

多谢学习学习

Linxiaodong · 发表于 3 天前

学习学习，感谢楼主

omityoung · 发表于 7 天前

多谢学习学习

yeann003 · 发表于 7 天前

看看是甚麼。

puerlike · 发表于 2024-12-26 23:56:58

thanks a lot

cyberwillis · 发表于 2024-12-22 21:12:03

hummm....

shuuichi_rye · 发表于 2024-12-20 19:21:19

多谢分享

灌汤一号 · 发表于 2024-12-20 14:23:48

感谢分享

HuiMintao · 发表于 2024-12-20 13:52:43

多谢

努力努力再努力X · 发表于 2024-12-19 15:56:03

谢谢分享

[资料] 分享formal verification电子书