题目详情
单选题 某种形式化方法描述系统的状态如何响应外部的信号进行推移的一种图形表示,它是( )
A. 有穷状态机
B. Petri网
C. Z语言
D. 程序正确性证明
学科:软件工程
时间:2023-05-10 09:27:05
相关题目
相关作业