题目内容
(请给出正确答案)
[单选题]
本讲在讲述软件建模方法时,主讲教师介绍了形式化思维方法。其基本思想是数学、集合、图与逻辑。思维结果通过数学方法表达。基于数学的方法一般用于一致性检查、类型检查、有效性验证、行为预测, 设计求精验证。下列各选项中,________不属于形式化思维方法中采用的表达方法
A.VDM语言
B.Z语言
C.C语言
D.Petri网
答案
B、Z语言
如搜索结果不匹配,请 联系老师 获取答案
A.VDM语言
B.Z语言
C.C语言
D.Petri网
第1题
A.C语言
B.VDM语言
C.Z语言
D.Petri网
第2题
A.C语言
B.VDM语言
C.Z语言
D.Petri网
第3题
A.VDM语言
B.Z语言
C.C语言
D.Petri网
第4题
A.C语言
B.VDM语言
C.Z语言
D.Petri网
第5题
A.VDM语言
B.Z语言
C.C语言
D.Petri网
为了保护您的账号安全,请在“赏学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!