手机快捷登录
未注册手机号将自动创建账号
获取验证码
点击“立即登录”按钮视为阅读并同意:
《用户协议》
及
《隐私政策》
立即登录
首次登录请完善个人信息
您的姓名:
单位名称:
关注标准:
请选择标准类型
团体标准
国家标准
行业标准
企业标准
地方标准
国际标准
国外标准
执行标准
立即登录
中标政联(北京)标准化技术院
注册
登录
中标政联标准信息服务平台
标准起草
标准立项
标准参编
标准宣贯
首页
标准服务
标准查询
聚焦标准
新闻资讯
标准化知识
关于我们
标准概要
信息技术 通用逻辑(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
起草单位
中国标准化研究院
环境保护部信息中心
北京科迪智标信息技术有限公司
起草人
孙广芝
邢立强
刘定
刘彦东
娄晓琳
推荐标准
GB/T 19491-2004 国际移动卫星B船舶地球站技术要求
GB/T 34897-2017 滚动轴承 工业机器人RV减速器用精密轴承
GB/T 8024-1987 石油蜡和石油脂微量氮测定法(微库仑法)
GB/T 36219-2018 船舶生产企业能耗评价方法
GB/T 4678.12-2003 压铸模零件 第12部分:复位杆
GB 7251.1-1997 低压成套开关设备和控制设备 第一部分:型式试验和部分型式试验成套设备
GB/T 35282-2017 信息安全技术 电子政务移动办公系统安全技术规范
GB/T 20899.13-2017 金矿石化学分析方法 第13部分:铅、锌、铋、镉、铬、砷和汞量的测定 电感耦合等离子体原子发射光谱法
GB/T 8190.4-2023 往复式内燃机 排放测量 第4部分:不同用途发动机的稳态和瞬态试验循环
GB/T 37852-2019 玻璃容器 以容器底部作基准的高度和口部不平行度 试验方法
申明
本内容来源于国家标准化管理委员会及相关官方平台,本内容目的仅在于分享交流与学习。
关键词标签
申请团体标准的意义
河南省团体标准
做团体标准需要什么条件
团体标准有什么作用
办理团体标准
养殖场标准是多少
如何办理团体标准申请
国家标准采信团体标准
浙江团体标准
团体标准代码
沟通
联系
订阅
微信
TOP
当前客服
客服编号:D003
客服联系电话
13552980235
关注微信公众号
扫码添加客服微信