分划递推法应用于高可靠Java程序开发方法研究
69983003
1999
F0203.软件理论、软件工程与服务
薛锦云
专项基金项目
教授
江西师范大学
13万元
分划递推法;形式化方法.;Java程序.
2000-01-01到2002-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
未查询到项目成果
查看更多信息请先登录或注册
