ISO/IEC 13568:2002/COR1:2007
訂正事項 1 - 情報技術 - Z 形式仕様表記法 - 構文、型システム、およびセマンティクス

規格番号

ISO/IEC 13568:2002/COR1:2007

制定年

1970

出版団体

SCC

状態

入れ替わる

に置き換えられる

ISO/IEC 13568:2002/Cor 1:2007

最新版

ISO/IEC 13568:2002/Cor 1:2007

交換する

35.060

範囲

この国際規格の電子版は、ISO/IEC 情報技術特別委員会 (ITTF) の Web サイトからダウンロードできます。

ISO/IEC 13568:2002/COR1:2007 発売履歴

• 2007 ISO/IEC 13568:2002/Cor 1:2007 情報技術、Z フォーマット表記、構文、形式システム、および意味論に関する技術的修正集 1
• 2002 ISO/IEC 13568:2002 情報技術、Z フォーマットの仕様表記、構文、形式システムおよびセマンティクス