《形式化验证探索指南》第2版中文版

infortrans · 发表于 2023-8-1 09:21:29

感谢分享，学习一下。

quakewangtao · 发表于 2023-8-3 10:58:49

喜欢

Tradeoff · 发表于 2023-8-3 11:15:41

谢谢分享

pedester · 发表于 2023-8-3 19:17:03

感谢分享

zhsh94 · 发表于 2023-8-28 19:31:23

谢谢分享

janelea · 发表于 2023-9-5 17:50:06

很好，谢谢分享！

byrd2010 · 发表于 2024-2-23 20:38:52

有中文版就可以对照着看了

jimcmwang · 发表于 2024-2-24 15:40:57

形式化验证探索指南-第2版.pdf 16.44 MB, 下载次数: 397 , 下载积分: 资产 -6 信元, 下载支出 6 信元

品博锦取_2021 · 发表于 2024-2-27 13:15:51

很全很专业，很有参研价值，学下

广梅 · 发表于 2024-2-28 09:08:41

很好的资料，学习一下

[资料] 《形式化验证探索指南》第2版中文版