查看标准

请选择需要导出的字段:

ISO/IEC 13568-2002

信息技术 Z格式规范记法 语法、类型系统和语义学

Information technology -- Z formal specification notation -- Syntax, type system and semantics

发布日期: 2002-07-01

实施日期: 2002-07-01

中标分类号: L74 - 电子元器件与信息技术 - 程序语言

ICS分类号: 35.060 - 信息技术、办公设备 - 信息技术用语言

标准组织: ISO - 国际标准化组织标准

全文来源: WF

中文关键词: 表示法 语义学 句法 定义 数据处理 数据元 信息技术 信息交换 数据表示 尺寸 标志法

语种: 汉语

页数: 189

标准解读