形式化验证，模型检测和数理逻辑经典书籍系列（3）

[{"title":"（ 5 个子文件 8.28MB ） 形式化验证，模型检测和数理逻辑经典书籍系列（3）","children":[{"title":"FUNDAMENTALS OF WIRELESS COMMUNICATION.zip <span style='color:#111;'> 3.72MB </span>","children":null,"spread":false},{"title":"模态逻辑讲义.doc <span style='color:#111;'> 1.09MB </span>","children":null,"spread":false},{"title":"Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust).rar <span style='color:#111;'> 1.54MB </span>","children":null,"spread":false},{"title":"Course in Modal Logic.pdf <span style='color:#111;'> 1.36MB </span>","children":null,"spread":false},{"title":"Formal_Correctness_of_Security_Protocols.rar <span style='color:#111;'> 1.58MB </span>","children":null,"spread":false}],"spread":true}]