题海让大学四年没有难题
白天模式登陆

题目详情

单选题 某种形式化方法描述系统的状态如何响应外部的信号进行推移的一种图形表示,它是( )

A. 有穷状态机

B. Petri网

C. Z语言

D. 程序正确性证明

软件工程课程封面

学科:软件工程

时间:2023-05-10 09:27:05

Copyright © 2022 津ICP备2021001502号