中山市标准信息服务平台
首页
标准号:ISO/IEC 13568-2002
现行有效 信息技术.Z格式规范标志法.语法,形式系统和语义学
Information technology -- Z formal specification notation -- Syntax, type system and semantics
标准组织:国际标准,国际标准化组织标准 |
语种:英文 |
CCS分类:信息处理技术综合 |
ICS分类:信息技术用语言 |
发布日期:2002-01-01 |
实施日期:2002-01-01 |
作废日期 :
|
被替代标准 : |
替代关系 : |
作废日期: |
替代标准 : |
替代关系 : |
作废日期: |
被采用标准 : |
采用关系 : |
|
采用标准 : |
采用关系 :等同 |
|
引用标准 : |
引用关系 : |
|
修改记录 :ISO/IEC 13568-2002COR.1:2007 |
勘误 |
标准摘要 : |
发布单位 : |
归口单位 : |
起草单位 : |
起草人 : |
出处 : |
备注 : |
