信息技术-通用逻辑(CL):基于逻辑的语言族框架
CMA资质认定
CNAS认可证书
ISO认证
高新技术企业
GB/T 30880-2014
信息技术 通用逻辑(CL):基于逻辑的语言族框架
- 【发布单位或类别】 CN-GB国家标准
- 【发布日期】2014-09-03
- 【CCS分类】L72数据元表示方法
- 【ICS分类】35.060信息技术用语言
ISO/IEC 24707:2018
信息技术 - 通用逻辑(CL):一个基于逻辑语言的框架
- 【发布单位或类别】 IX-ISO国际标准化组织
- 【发布日期】2018-07-16
- 【CCS分类】信息处理技术
- 【ICS分类】35.060信息技术用语言
ISO/IEC 24707:2018
信息技术 - 通用逻辑(CL):一个基于逻辑语言的框架
- 【发布单位或类别】 IX-IEC国际电工委员会
- 【发布日期】2018-07-16
- 【CCS分类】
- 【ICS分类】35.060信息技术用语言
\u0413\u041e\u0421\u0422 \u0420 59791-2021
信息技术 普通逻辑(CL) 一个基于逻辑的语言的框架
- 【发布单位或类别】 RU-GOST俄罗斯国家标准
- 【发布日期】
- 【CCS分类】L70/84
- 【ICS分类】35.060信息技术用语言
KS X ISO/IEC 24707-2008(2023)
信息技术——公共逻辑(CL):一个基于逻辑的语言家族的框架
- 【发布单位或类别】 KR-KS韩国标准
- 【发布日期】2008-12-24
- 【CCS分类】
- 【ICS分类】35.060信息技术用语言
KS X ISO/IEC 24707-2008(2018)
信息技术——公共逻辑(CL):一系列基于逻辑的语言的框架
- 【发布单位或类别】 KR-KS韩国标准
- 【发布日期】2008-12-24
- 【CCS分类】
- 【ICS分类】35.060信息技术用语言
BS ISO/IEC 24707:2018
信息技术 公共逻辑(CL) 一系列基于逻辑的语言的框架
- 【发布单位或类别】 GB-BSI英国标准学会
- 【发布日期】2018-07-20
- 【CCS分类】
- 【ICS分类】信息技术用语言
BS ISO/IEC 24707:2007
信息技术 公共逻辑(CL) 一系列基于逻辑的语言的框架
- 【发布单位或类别】 GB-BSI英国标准学会
- 【发布日期】2007-10-31
- 【CCS分类】
- 【ICS分类】信息技术用语言
ISO/IEC 24707:2007
信息技术——公共逻辑(CL):一个基于逻辑的语言家族的框架
- 【发布单位或类别】 IX-IEC国际电工委员会
- 【发布日期】2007-09-25
- 【CCS分类】
- 【ICS分类】35.060
ISO/IEC 24707:2007
信息技术——公共逻辑(CL):一系列基于逻辑的语言的框架
- 【发布单位或类别】 IX-ISO国际标准化组织
- 【发布日期】2007-09-25
- 【CCS分类】
- 【ICS分类】35.060