信息技术-通用逻辑(CL):基于逻辑的语言族框架

2025-01-24 08:34:25 阅读 检测标准
CMA资质认定

CMA资质认定

CNAS认可证书

CNAS认可证书

ISO认证

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