研究生课程-形式化方法PPT+书.zip

[{"title":"（ 13 个子文件 60.81MB ） 研究生课程-形式化方法PPT+书.zip","children":[{"title":"PPT+书","children":[{"title":"2.Basic Principles of Formal Specification and Verification - 副本.pptx <span style='color:#111;'> 608.85KB </span>","children":null,"spread":false},{"title":"4.The B-Method & other specification method.pptx <span style='color:#111;'> 925.14KB </span>","children":null,"spread":false},{"title":"Lightfoot_FSUZ2001_4S.pdf <span style='color:#111;'> 16.64MB </span>","children":null,"spread":false},{"title":"8.csp_PAT_Model Checking.pptx <span style='color:#111;'> 10.64MB </span>","children":null,"spread":false},{"title":"3.the z notation.pptx <span style='color:#111;'> 12.88MB </span>","children":null,"spread":false},{"title":"6.csp_2.pptx <span style='color:#111;'> 250.93KB </span>","children":null,"spread":false},{"title":"cspbook.pdf <span style='color:#111;'> 1.22MB </span>","children":null,"spread":false},{"title":"10.Alloy.pptx <span style='color:#111;'> 6.85MB </span>","children":null,"spread":false},{"title":"7.csp_3.pptx <span style='color:#111;'> 460.65KB </span>","children":null,"spread":false},{"title":"1.Introduction(1).pptx <span style='color:#111;'> 1.29MB </span>","children":null,"spread":false},{"title":"5.csp_1.pptx <span style='color:#111;'> 5.79MB </span>","children":null,"spread":false},{"title":"2.Basic Principles of Formal Specification and Verification.pptx <span style='color:#111;'> 608.85KB </span>","children":null,"spread":false},{"title":"9.Petri Nets.pptx <span style='color:#111;'> 3.62MB </span>","children":null,"spread":false}],"spread":false}],"spread":true}]