形式化验证，模型检测和数理逻辑经典书籍系列（1）
我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：LogicinComputerScienceModellingandReasoningaboutSystems；ASecondCourseinFormalLanguagesandAutomataTheory；Real-TimeSystemsFormalSpecificationandAutomaticVerification；ComputabilityTheory；ComputationalComplexityAModernApproach
下载地址
用户评论
下载失败了
整理的很全面，很感谢
整理的很全面，感谢分享
整理的很全 不错