ANSI/INCITS/ISO/IEC 13568:2002
情報技術.プログラミング言語.Zフォーマット仕様言語

規格番号

ANSI/INCITS/ISO/IEC 13568:2002

制定年

2002

出版団体

American National Standards Institute （ANSI)

最新版

ANSI/INCITS/ISO/IEC 13568:2002

範囲

以下はこの国際標準の範囲内です。 Z 表記の構文。 Z 表記の型システム。 Z 表記のセマンティクス。 広く使用されている数学演算子のツールキット。 LATEX [10] と Z 表記の電子メール マークアップ。

ANSI/INCITS/ISO/IEC 13568:2002 発売履歴

• 2002 ANSI/INCITS/ISO/IEC 13568:2002 情報技術.プログラミング言語.Zフォーマット仕様言語