各国标准分类
美国国家标准学会(ANSI)
标准号：
ANSI/INCITS/ISO/IEC 13568-2002
中文标题：
信息技术.Z格式规范标志法.语法、形式系统和语义学
英文标题：
(Information technology - Z formal specification notation - Syntax, type system and semantics )
页码：
外文关键字：
中文关键字：
归口单位：
被替代标准：
引用标准：
中标分类：
国际分类：
发布日期：
2002
实施日期：
起草单位：
| 版权所有：中国专家翻译网 |
