BS ISO/IEC 13568-2002 信息技术.Z形式规范注释.语法、类型系统和语义学

标准号：BS ISO/IEC 13568-2002
中文标准名称：信息技术.Z形式规范注释.语法、类型系统和语义学
英文标准名称：Information technology - Z formal specification notation - Syntax, type system and semantics
标准类型：L70
发布日期：2002/8/8 12:00:00
实施日期：2002/8/8 12:00:00
中国标准分类号：L70
国际标准分类号：35.060
适用范围：The following are within the scope of this International Standard: · the syntax of the Z notation; · the type system of the Z notation; · the semantics of the Z notation; · a toolkit of widely used mathematical operators; · LATEX [10] and e-mail mark-ups of the Z notation. The following are outside the scope of this International Standard: · any method of using Z, though an informative annex (E) describes one widely-used convention.