翻译一点毛病没有，美国欧洲也不是显学，培养的博士远比工程师多。这行当本来就没那么务实，基础软硬件、工控领域用得起的还不多，本身方法局限也大
【 在 rethan 的大作中提到: 】
: Formal method翻译成形式化方法，搞得务实的人都不愿意研究它
: 【 在 ZHMZFFL 的大作中提到: 】
: : https://static.mysmth.net/nForum/att/Programming/217271/247/large "单击此查看原图"](https://static.mysmth.net/nForum/att/Programming/217271/247)  
: ...................
--
修改:milksea FROM 123.117.77.*
FROM 123.117.77.*