分享formal verification电子书

kang.kang · 发表于 2020-6-23 11:59:21

xielinfeng 发表于 2020-6-20 09:15
这么神秘？什么书？

书是好书，不神秘

kang.kang · 发表于 2020-6-23 11:58:21

xielinfeng 发表于 2020-6-20 09:20
地址正确吗？

暂时没有收到地址失效的反馈。若地址失效，请告知我更新。

nokia70 · 发表于 2020-6-22 17:26:16

thanks

子幽墨雨 · 发表于 2020-6-20 14:34:31

看看

jcz_100 · 发表于 2020-6-20 09:39:25

谢谢分享！！！！

blueplusfish · 发表于 2020-6-20 09:35:38

謝謝分享資料

xielinfeng · 发表于 2020-6-20 09:20:05

地址正确吗？

xielinfeng · 发表于 2020-6-20 09:15:04

这么神秘？什么书？

nokia70 · 发表于 2020-6-19 13:13:53

thanks

rainingud · 发表于 2020-6-19 10:13:48

先存着，有空看一下

[资料] 分享formal verification电子书