当前位置： 首页 > 系统架构设计师 > 综合知识+案例分析+论文 > 形式化规格说明语言有多个流派。利用前置条件与后置条件描述程序行为的是（）。

1.【单选题】

形式化规格说明语言有多个流派。利用前置条件与后置条件描述程序行为的是（）。

A

代数规格说明

B

基于集合论的Z语言

C

进程描述语言（CSP）

D

公理方法

查看答案

参考答案: D

全站统计:

本题共被答5次 正确率为20% 易错选项为C

题目解析:

公理方法利用前置条件与后置条件描述程序行为，代表人物有Hoare和Dijkstra。

【考点来源】2.6.4形式化语言

本题解析反馈: 没看懂 看懂

考核知识点:

试题难度:

获取二级造价工程师定制学习规划
壮壮老师
00:00:00
2334已获取

微信号：hqwxjg1006

系统架构设计师历年真题 更多

资料下载 更多
下载快题库，随时随地刷题
碎片时间巩固知识点

返回顶部