B语言和方法与Z、VDM的比较下载

weixin_39822095 2019-08-03 03:30:28
几种形式化开发方法的比较。介绍基于模型的三种形式化语言和方法的基本原理 和内容.然后再对其主要优缺点进行分析,最后对这三种语言和方法从七个方面加以分析比较,并列表总结。
相关下载链接://download.csdn.net/download/weihuizhao/4246223?utm_source=bbsseo
...全文
浏览 点赞 收藏 回复
写回复
回复
切换为时间正序
请发表友善的回复…
发表回复

还没有回复,快来抢沙发~

发动态
发帖子
下载资源悬赏专区
创建于2007-03-31

8051

社区成员

CSDN 下载资源悬赏专区
申请成为版主
社区公告
暂无公告