Data types of Z specification and classified into levels are introduced according to their derivations.
英
美
摘要介绍了Z规格说明的数据类型和它们的分类,从定义出发,阐述了这些数据类型派生的派生与继承关系。
目录
查词历史
英 汉