基于逻辑的程序验证方法在高可信软件开发上的应用

君,已阅读到文档的结尾了呢~~

基于逻辑的程序验证方法在高可信软件开发上的应用(专业)计算机软件与理论。声明:知识水坝论文均为可编辑的文本格式PDF,请放心下载使用。需要DOC格式请发豆丁站内信。

文档格式:
.pdf
文档页数:
105页
文档大小:
3.54M
文档热度:
文档分类:
IT计算机 --  行业软件
文档标签:
软件 开发 应用 基于 程序 应用程序 验证 方法 逻辑 软件开发
详情

扫扫二维码,随身浏览文档

手机或平板扫扫即可继续访问

推荐豆丁书房APP  

获取二维码

分享文档

将文档分享至:
分享完整地址
文档地址: 复制
粘贴到BBS或博客
flash地址: 复制

支持嵌入FLASH地址的网站使用

html代码: 复制

默认尺寸450px*300px480px*400px650px*490px

支持嵌入HTML代码的网站使用

分享到