中标政联(北京)标准化技术院 注册
中标政联标准信息服务平台
标准起草 标准立项 标准参编 标准宣贯
  标准概要

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

Information technology—Common Logic (CL): a framework for a family of logic-based languages
国家标准《信息技术 通用逻辑(CL):基于逻辑的语言族框架》 由TC28(全国信息技术标准化技术委员会)归口,TC28SC22(全国信息技术标准化技术委员会程序设计语言分会)执行 ,主管部门为国家标准委。 主要起草单位 中国标准化研究院 、北京科迪智标信息技术有限公司 、环境保护部信息中心 。 主要起草人 孙广芝 、邢立强 、刘彦东 、娄晓琳 、刘定 。 GB/T 30880-2014 现行 本标准等同采用ISO/IEC国际标准:ISO/IEC 24707:2007。 采标中文名称:信息技术 通用逻辑:基于逻辑的语言族框架。
  基础信息
标准号 GB/T 30880-2014
发布日期 2014-09-03
实施日期 2015-02-01
标准号 GB/T 30880-2014
发布日期 2014-09-03
实施日期 2015-02-01
  起草单位
  中国标准化研究院
  环境保护部信息中心
  北京科迪智标信息技术有限公司
  起草人
  孙广芝
  邢立强
  刘定
  刘彦东
  娄晓琳
  推荐标准
  申明
本内容来源于国家标准化管理委员会及相关官方平台,本内容目的仅在于分享交流与学习。
  关键词标签
团体标准办理多少钱 团体标准、行业标准、国家标准 全国团体标准 医学团体标准 优秀团队标准
团体标准如何申报 团体标准与地方标准 国标团体标准 团体标准参编单位的好处 通化团体标准申报