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

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

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----

     文件     608068  2016-01-07 15:40  全部ppt\sld.ch1.intro.pdf

     文件     162819  2016-01-07 15:51  全部ppt\sld.ch10.ring.pdf

     文件     307608  2016-01-07 15:51  全部ppt\sld.ch11.tree.pdf

     文件     253594  2016-01-07 15:53  全部ppt\sld.ch12.mbl.pdf

     文件     135598  2016-01-07 15:53  全部ppt\sld.ch13.ieee.pdf

     文件     391561  2016-01-07 15:54  全部ppt\sld.ch15%2Cseq.pdf

     文件     211904  2016-01-07 15:55  全部ppt\sld.ch16.door.pdf

     文件     269014  2016-01-07 15:57  全部ppt\sld.ch17.train.pdf

     文件     649805  2016-01-07 15:41  全部ppt\sld.ch2.car.pdf

     文件     709583  2016-01-07 15:43  全部ppt\sld.ch3.press.pdf

     文件     201229  2016-01-07 15:44  全部ppt\sld.ch4.file.pdf

     文件     235877  2016-01-07 15:49  全部ppt\sld.ch6.brp.pdf

     文件     690828  2016-01-07 15:50  全部ppt\sld.ch7.conc.pdf

     文件     657914  2016-01-07 15:50  全部ppt\sld.ch8.circ.pdf

     文件    2814049  2012-02-25 13:15  书籍\Modeling in Event-B System and Software Engineering.pdf

     目录          0  2016-11-08 10:24  全部ppt

     目录          0  2016-11-08 10:24  书籍

----------- ---------  ---------- -----  ----

              8299451                    17