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

weixin_39822095 2019-08-03 03:30:28
几种形式化开发方法的比较。介绍基于模型的三种形式化语言和方法的基本原理 和内容.然后再对其主要优缺点进行分析,最后对这三种语言和方法从七个方面加以分析比较,并列表总结。
相关下载链接://download.csdn.net/download/weihuizhao/4246223?utm_source=bbsseo
...全文
9 回复 打赏 收藏 举报
写回复
回复
切换为时间正序
当前发帖距今超过3年,不再开放新的回复
发表回复
相关推荐
发帖
下载资源悬赏专区

1.0w+

社区成员

CSDN 下载资源悬赏专区
其他 技术论坛(原bbs)
社区管理员
  • 下载资源悬赏专区社区
加入社区
帖子事件
创建了帖子
2019-08-03 03:30
社区公告
暂无公告