The Z language is a formal language for specifying data-related characteristics of transformational systems. however, it is not designed to model behaviour.
语言是一种描述转换系统相关数据特征的形式化语言，然而不适合建立动态行为的模型。
The Z language is a formal language for specifying data-related characteristics of transformational systems. however, it is not designed to model behaviour.
语言是一种描述转换系统相关数据特征的形式化语言，然而不适合建立动态行为的模型。
应用推荐