01对象模型化与OCL:在对象…
02形式方法:获得完美信息技…
03敏捷软件开发项目管理与实…
04用户建模2001User modeli…
05生成式及基于组成的软件工…
06Professional VMwareServ…
07数字电路设计与验证快速入…
08Creo模具设计教程(Creo …
09形式方法应用的杠杆作用:…
10生成式及基于组件的软件工…