| 查看: 276 | 回复: 1 | |||
nanyangdujie新虫 (小有名气)
|
[求助]
文献搜索
|
|
《基于SPIN/Promela的UML模型验证工具设计与实现》 【导师】 肖美华; 【学位授予单位】 南昌大学; 【学科专业名称】 计算机软件与理论 【学位年度】 2009 【论文级别】 硕士 【网络出版投稿人】 南昌大学 【网络出版投稿时间】 2010-05-26 http://epub.cnki.net/grid2008/detail.aspx?QueryID=30&CurRec=1 |
» 猜你喜欢
调剂推荐
已经有5人回复
中国科学院深圳先进技术研究院-光纤传感课题组招生-中国科学院大学、深圳理工大学联培
已经有4人回复
总分322求生物学/生化与分子/生物信息学相关调剂
已经有5人回复
0703化学338求调剂!
已经有3人回复
284求调剂
已经有7人回复
271求调剂
已经有6人回复
312求调剂
已经有9人回复
352求调剂
已经有4人回复
085602化学工程求调剂。
已经有3人回复
085600材料与化工306
已经有6人回复
nanyangdujie
新虫 (小有名气)
![]() ![]() |
2楼2011-06-29 14:41:39













回复此楼
6