Information technology - Programming languages - Prolog - Part 1: General core; Technical Corrigendum 2
标准号:ISO/IEC 13211-1 CORR 2-2012
标准名称: 信息技术.程序设计语言.Prolog.第1部分:通用芯.技术勘误表2
英文名称:Information technology - Programming languages - Prolog - Part 1: General core; Technical Corrigendum 2
标准类型:国外标准
标准状态:现行
中国标准分类号(CCS):L74
国际标准分类号(ICS):35.060
ISO/IEC 13211-1 Technical Corrigendum 2-2012 现行
信息技术.程序设计语言.Prolog.第1部分:通用芯.技术勘误表2
ISO/IEC 13211-1 Technical Corrigendum 1-2007 现行
信息技术.程序设计语言.人工智能语言.第1部分:通用芯.技术勘误1
ISO/IEC 9798-2 CORR 2-2012 现行
信息技术.安全技术.实体鉴别.第2部分:使用对称加密算法的机制.技术勘误表2
ISO/IEC 9594-2 CORR 2-2012 现行
信息技术.开放系统互连.目录:模型.技术勘误表2
ISO/IEC 23003-1 AMD 1 CORR 2-2012 现行
信息技术. MPEG音频技术. 第1部分: 环绕MPEG. 修改件1: 一致性测试; 技术勘误2
ISO 11363-1 CORR 2-2012 现行
气缸.气缸与阀门连接用17E与25E锥螺纹.第1部分:规范;技术勘误2
ISO/IEC 9798-4 CORR 2-2012 现行
信息技术.保密技术.实体鉴定.第4部分:利用密码校验函数的机制.技术勘误表2
ISO/IEC 9798-3 CORR 2-2012 现行
信息技术. 安全技术. 实体鉴别. 第3部分: 数字签名技术应用机制; 技术勘误2
ISO/IEC 9594-6 CORR 2-2012 现行
信息技术.开放系统互连.目录:选择的属性类型.技术勘误表2
ISO/IEC 9594-8 CORR 2-2012 现行
信息技术.开放系统互连.目录:公共密钥和属性认证框架.技术勘误表2