信息技术.Z格式规范标志法.语法,形式系统和语义学

[中文适用范围]： 以下内容属于本国际标准的范围： · Z 表示法的语法； · Z 表示法的类型系统； · Z 表示法的语义； · 广泛使用的数学运算符工具包； · LATEX [10] 和 Z 表示法的电子邮件标记。 以下内容不属于本国际标准的范围： · 使用 Z 的任何方法，尽管资料性附录 (E) 描述了一种广泛使用的惯例。 [外文原描述]： 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.