1. 首页
  2. 课程学习
  3. 专业指导
  4. Formal Methods: State of the Art and Future Directions

Formal Methods: State of the Art and Future Directions

上传者: 2021-04-21 22:45:52上传 APPLICATION/PDF文件 294KB 热度 12次
关于形式化理论的权威综述,来自cmu的clarke和wing,非常简易有兴趣的同学看看
下载地址
用户评论
码姐姐匿名网友 2025-03-28 09:46:19

写论文正要用,还不错的