B语言和方法与Z、VDM的比较 上传者：一溜烟 2020-09-19 22:02:55上传 PDF文件 249.03KB 热度 28次 几种形式化开发方法的比较。介绍基于模型的三种形式化语言和方法的基本原理 和内容.然后再对其主要优缺点进行分析,最后对这三种语言和方法从七个方面加以分析比较,并列表总结。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
