ISO/IEC 13568:2002
情報技術、Z フォーマットの仕様表記、構文、形式システムおよびセマンティクス
- 規格番号
- ISO/IEC 13568:2002
- 制定年
- 2002
- 出版団体
- International Organization for Standardization (ISO)
- 状態
- に置き換えられる
- ISO/IEC 13568:2002/Cor 1:2007
- 最新版
- ISO/IEC 13568:2002/Cor 1:2007
- 範囲
- 以下はこの国際規格の範囲内です。 · Z 表記の構文。 · Z 記法の型システム。 · Z 表記のセマンティクス。 · 広く使用されている数学演算子のツールキット。 · LATEX [10] と Z 表記の電子メール マークアップ。 以下は、この国際標準の範囲外です。 · Z を使用するあらゆる方法。 ただし、有益な付録 (E) には、広く使用されている 1 つの規則が記載されています。
ISO/IEC 13568:2002 発売履歴
- 2007 ISO/IEC 13568:2002/Cor 1:2007 情報技術、Z フォーマット表記、構文、形式システム、および意味論に関する技術的修正集 1
- 2002 ISO/IEC 13568:2002 情報技術、Z フォーマットの仕様表記、構文、形式システムおよびセマンティクス
