| 中文名称： |
形式验证及其在网格计算环境中的应用 |
| 论文编号： |
2643188【收藏本论文】【我的收藏】 |
| 英文名称： |
Formal verification and its application in grid computing environment |
| 学位类型： |
博士毕业论文 |
| 作者： |
涉及隐私，隐去*** 作者本人请参看权力声明>> |
| 导师： |
涉及隐私，隐去*** |
| 毕业学校： |
涉及隐私，隐去*** |
| 专业： |
计算机软件与理论  |
| 毕业年份： |
涉及隐私，隐去*** |
| 关键字： |
形式 形式验证 验证 计算 计算环境 环境 |
| 全文提供： |
本论文应版权问题不能提供全文。但有其他80万收费硕士博士论文可提供下载 联系购买>>【收藏本论文】【我的收藏】
|
| 强烈推荐：快速发表论文通道>> |
