1. 首页
  2. 课程学习
  3. 专业指导
  4. 形式化验证,模型检测和数理逻辑经典书籍系列(1)

形式化验证,模型检测和数理逻辑经典书籍系列(1)

上传者: 2019-05-12 23:31:22上传 RAR文件 9.38MB 热度 40次
我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍:LogicinComputerScienceModellingandReasoningaboutSystems;ASecondCourseinFormalLanguagesandAutomataTheory;Real-TimeSystemsFormalSpecificationandAutomaticVerification;ComputabilityTheory;ComputationalComplexityAModernApproach
下载地址
用户评论
码姐姐匿名网友 2019-05-12 23:31:22

下载失败了

码姐姐匿名网友 2019-05-12 23:31:22

整理的很全面,很感谢

码姐姐匿名网友 2019-05-12 23:31:22

整理的很全面,感谢分享

码姐姐匿名网友 2019-05-12 23:31:22

整理的很全 不错