文件名称：高级软件工程
文件大小：44.01MB
文件格式：RAR
更新时间：2016-11-12 18:45:04
高级 软件工程
学习软件工程 对于 硕士阶段的知道课程，都应该读一点
【文件预览】：
11.DynamicLogic.pdf
Verification of Object-Oriented Software. The KeY Approach .pdf
Principles+of+Model+Checking.pdf
07.LinearTemporalLogicAndModelChecking_II.pdf
10.JML.pdf
12212956.陈健.SE.HW5.Ver1.docx
~$212956.陈健.SE.HW5.Ver1.docx
08.TemporalModelCheckingWithSPIN.pdf
12.DynamicLogicCalculus.pdf
04.ConcurrentProgramming.pdf
03.VerifyingWithSPIN.pdf
09.FirstOrderLogic and its calculus.pdf
Lab1.Promela-Spin.pdf
06.LinearTemporalLogicAndModelChecking_I.pdf