运用形式化B方法进行软件开发

目录第1章绪论..........................................................1§1.1研究形式化方法的必要性.....................................1§1.2形式化方法的使用方式及实质.................................2§1.3形式化方法和常规方法的比较.................................3§1.3.1形式化方法与软件测试的关系...........................4第2章B方法.............................
相关推荐
-
VIP免费2024-09-20 33
-
VIP免费2024-09-20 27
-
VIP免费2025-01-09 7
-
VIP免费2025-01-09 7
-
VIP免费2025-01-09 6
-
VIP免费2025-01-09 6
-
VIP免费2025-01-09 7
-
VIP免费2025-01-09 9
-
VIP免费2025-01-09 13
-
VIP免费2025-01-09 13
相关内容
-
跨国大型综合超市的规划研究
分类:高等教育资料
时间:2025-01-09
标签:无
格式:PDF
价格:15 积分
-
跨境电商农产品质量安全问题研究
分类:高等教育资料
时间:2025-01-09
标签:无
格式:PDF
价格:15 积分
-
世界市场的虚拟化与我国国际电子商务发展方向研究
分类:高等教育资料
时间:2025-01-09
标签:无
格式:PDF
价格:15 积分
-
中国政府对电力行业的价格规制问题研究
分类:高等教育资料
时间:2025-01-09
标签:无
格式:PDF
价格:15 积分
-
中小企业信息化系统集成技术研究
分类:高等教育资料
时间:2025-01-09
标签:无
格式:PDF
价格:15 积分