ISO/IEC 13568 Technical Corrigendum 1-2007 信息技术.Z格式规范标志法.句法、形式系统和语义学.技术勘误1
ISO/IEC 13568 Technical Corrigendum 1-2007 标准详情
- 标准号:ISO/IEC 13568 Technical Corrigendum 1-2007
- 中文标题:信息技术.Z格式规范标志法.句法、形式系统和语义学.技术勘误1
- 英文标题:Information technology - Z formal specification notation - Syntax, type system and semantics; Technical Corridendum 1
- 标准类别:国际标准化组织标准ISO
- 发布日期:2007-07-15
内容简介
This is Technical Corrigendum 1 to ISO/IEC 13568-2002 (Information technology — Z formal specification notation —Syntax, type system and semantics —)
* 特别声明:资源收集自网络或用户上传,本网站所提供的电子文本仅供参考,请以正式出版物为准。仅供个人标准化学习,研究使用。如有侵权,请及时联系我们!