GB/T 30880-2014 信息技术 通用逻辑(CL):基于逻辑的语言族框架
GB/T 30880-2014 Information technology—Common Logic(CL):a framework for a family of logic-based languages
国家标准
中文简体
现行
页数:72页
|
格式:PDF
基本信息
标准号
GB/T 30880-2014
相关服务
仅限个人学习交流使用
标准类型
国家标准
标准状态
现行
中国标准分类号(CCS)
L72 信息技术 通用逻辑(CL):基于逻辑的语言族框架
国际标准分类号(ICS)
35.060
发布日期
2014-09-03
实施日期
2015-02-01
发布单位/组织
中华人民共和国国家质量监督检验检疫总局、中国国家标准化管理委员会
归口单位
全国信息技术标准化技术委员会(SAC/TC 28)
适用范围
-
发布历史
-
2015-02
文前页预览
免费预览已结束,剩余部分可下载查看
研制信息
- 起草单位:
- 中国标准化研究院、北京科迪智标信息技术有限公司、环境保护部信息中心
- 起草人:
- 孙广芝、邢立强、刘彦东、娄晓琳、刘定
- 出版信息:
- 页数:72页 | 字数:126 千字 | 开本: 大16开
推荐标准
- RB/T 051-2020 整合管理体系评价指南 2020-08-26
- GB 21251-2007 镍冶炼企业单位产品能源消耗限额 2007-12-03
- GB/T 7780-2016 过滤机 型号编制方法 2016-08-29
- GB 4706.47-1999 家用和类似用途电器的安全 动物繁殖和饲养用电加热器的特殊要求 1999-11-11
- GB/T 19475.2-2004 缩微摄影技术 开窗卡扫描仪制作影像质量的测量方法 第2部分:质量要求和控制 2004-03-15
- GB/T 40529-2021 船舶与海洋技术 起货绞车 2021-08-20
- GB 9690-2009 食品容器、包装材料用三聚氰胺-甲醛成型品卫生标准 2009-02-24
- GB/T 40241-2021 户外重组竹 2021-05-21
- YS/T 840-2012 再生硅料分类和技术条件 2012-11-07
- GB/T 42866-2023 煤化工废水处理与回用技术导则 2023-08-06
相似标准推荐
更多>- 1 NY/T 562-2002 动物衣原体病诊断技术
- 2 WS/T 419-2013 参考物质中酶活性浓度的赋值
- 3 GB/T 17215.421-2008 交流测量 费率和负荷控制 第21部分:时间开关的特殊要求
- 4 YY/T 0794-2022 X射线摄影用影像板成像装置专用技术条件
- 5 GB/T 17522-1998 微型水力发电设备基本技术要求
- 6 GB/T 44862-2024 网络安全技术 网络弹性评价准则
- 7 GB/T 18414.1-2001 纺织品 五氯苯酚残留量的测定 第1部分:气相色谱-质谱法
- 8 GB/T 5282-2017 开槽盘头自攻螺钉
- 9 GB/T 39089-2020 竹牙签
- 10 GB/T 3606-2001 家用沼气灶

关闭预览
