首页
题库
网课
在线模考
桌面端
登录
搜标题
搜题干
搜选项
0
/ 200字
搜索
问答题
用Z语言描述的、最简单的形式化规格说明包含()。
答案:
给定的集合、数据类型及常数===状态定义===初始状态===操作===
点击查看答案
在线练习
手机看题
你可能感兴趣的试题
问答题
Petri网可用于表达同步问题、竞争条件以及死锁问题。
答案:
对===
点击查看答案
手机看题
问答题
关于形式化说明技术,下列说法正确的是()。
答案:
应该选用适当的表示方法===应该形式化,但不要过分形式化===应该有形式化方法顾问随时提供咨询===
点击查看答案
手机看题
微信扫码免费搜题