形式化B语言 上传者：freedomxia 2020-05-29 14:00:58上传 RAR文件 6.24MB 热度 53次 形式化验证B语言安全系统设计软件工程 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 2020-05-29 14:00:58 B语言是比Z语言还强大的语言 码姐姐匿名网友 2020-05-29 14:00:58 北京大学裘宗燕讲的《形式化方法：基于B方法的严格软件开发》，中文版的pdf格式讲义，是学习B方法比较好的文档，而且还包括英文版书籍 发表评论
B语言是比Z语言还强大的语言
北京大学裘宗燕讲的《形式化方法：基于B方法的严格软件开发》，中文版的pdf格式讲义，是学习B方法比较好的文档，而且还包括英文版书籍