Modeling in Event-B System and Software Engineering pdf书籍和全部ppt

[{"title":"（ 15 个子文件 5.9MB ） Modeling in Event-B System and Software Engineering pdf书籍和全部ppt","children":[{"title":"书籍","children":[{"title":"Modeling in Event-B System and Software Engineering.pdf <span style='color:#111;'> 2.68MB </span>","children":null,"spread":false}],"spread":true},{"title":"全部ppt","children":[{"title":"sld.ch13.ieee.pdf <span style='color:#111;'> 132.42KB </span>","children":null,"spread":false},{"title":"sld.ch8.circ.pdf <span style='color:#111;'> 642.49KB </span>","children":null,"spread":false},{"title":"sld.ch16.door.pdf <span style='color:#111;'> 206.94KB </span>","children":null,"spread":false},{"title":"sld.ch15%2Cseq.pdf <span style='color:#111;'> 382.38KB </span>","children":null,"spread":false},{"title":"sld.ch10.ring.pdf <span style='color:#111;'> 159.00KB </span>","children":null,"spread":false},{"title":"sld.ch1.intro.pdf <span style='color:#111;'> 593.82KB </span>","children":null,"spread":false},{"title":"sld.ch11.tree.pdf <span style='color:#111;'> 300.40KB </span>","children":null,"spread":false},{"title":"sld.ch6.brp.pdf <span style='color:#111;'> 230.35KB </span>","children":null,"spread":false},{"title":"sld.ch7.conc.pdf <span style='color:#111;'> 674.64KB </span>","children":null,"spread":false},{"title":"sld.ch17.train.pdf <span style='color:#111;'> 262.71KB </span>","children":null,"spread":false},{"title":"sld.ch2.car.pdf <span style='color:#111;'> 634.58KB </span>","children":null,"spread":false},{"title":"sld.ch12.mbl.pdf <span style='color:#111;'> 247.65KB </span>","children":null,"spread":false},{"title":"sld.ch4.file.pdf <span style='color:#111;'> 196.51KB </span>","children":null,"spread":false},{"title":"sld.ch3.press.pdf <span style='color:#111;'> 692.95KB </span>","children":null,"spread":false}],"spread":false}],"spread":true}]