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

[{"title":"（ 5 个子文件 9.38MB ） 形式化验证，模型检测和数理逻辑经典书籍系列（1）","children":[{"title":"Computability Theory .pdf <span style='color:#111;'> 1.88MB </span>","children":null,"spread":false},{"title":"Logic in Computer Science Modelling and Reasoning about Systems.rar <span style='color:#111;'> 1.79MB </span>","children":null,"spread":false},{"title":"A Second Course in Formal Languages and Automata Theory.rar <span style='color:#111;'> 1.20MB </span>","children":null,"spread":false},{"title":"Real-Time Systems Formal Specification and Automatic Verification.zip <span style='color:#111;'> 1.47MB </span>","children":null,"spread":false},{"title":"Computational Complexity A Modern Approach.pdf <span style='color:#111;'> 4.05MB </span>","children":null,"spread":false}],"spread":true}]