| 标准号： |
ISO/IEC 13568 CORR 1-2007 |
| 英文名称： |
Information technology - Z formal specification notation - Syntax, type system and semantics; Technical Corridendum 1 |
| 中标分类： |
电子元器件与信息技术>>程序语言 |
| 发布日期： |
2007-07-15 |
| 发布单位： |
IX-ISO |
| 标准状态： |
请与本站工作人员进行确认 |
| ICS分类： |
信息技术用语言>>信息技术用语言 |
| 起草单位/标准公告： |
ISO/IEC JTC 1/SC 22 |
| 正文语言： |
英语 |
| 页数： |
11P.;A4 |
| 引用标准： |
ISO/IEC 13568-2002 |
| 采用关系： |
DS/ISO/IEC 13568/Corr. 1-2008,IDT;NEN-ISO/IEC 13568/C1-2007,IDT |
| 内容提要（CN）： |
数据元;数据处理;数据表示;(数据)格式;信息交换;信息技术;表示法;语义学;句法 |
| 内容提要（EN）： |
Data elements;Data processing;Data representation;Formats;Information interchange;Information technology;Notation;Representations;Semantics;Syntax |
| 归属： |
国际 |
