文件名称：形式化验证，模型检测和数理逻辑经典书籍系列（3）
文件大小：8.28MB
文件格式：RAR
更新时间：2012-05-08 11:50:29
形式化验证，模型检测和数理逻辑经典
我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust)；Formal_Correctness_of_Security_Protocols；FUNDAMENTALS OF WIRELESS COMMUNICATION；Course in Modal Logic；模态逻辑讲义
【文件预览】：
FUNDAMENTALS OF WIRELESS COMMUNICATION.zip
模态逻辑讲义.doc
Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust).rar
Course in Modal Logic.pdf
Formal_Correctness_of_Security_Protocols.rar