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开
推荐标准
- GB/T 5095.8-1997 电子设备用机电元件 基本试验规程及测量方法 第8部分:连接器、接触件及引出端的机械试验 1997-12-26
- GB/T 6369-1986 表面活性剂 乳化力的测定 比色法 1986-05-08
- GB/T 24348.4-2009 纺织机械与附件 筘 第4部分:树脂固化金属丝扎筘的尺寸和标记 2009-09-30
- LY/T 2070-2012 没食子酸生产综合能耗 2012-02-23
- GB 3847-1999 压燃式发动机和装用压燃式发动机的车辆排气可见污染物限值及测试方法 1999-03-10
- GB/T 24218.10-2016 纺织品 非织造布试验方法 第10部分:干态落絮的测定 2016-04-25
- GB/T 39359-2020 积分球法测量悬浮式液固光催化制氢反应 2020-11-19
- YB/T 370-1995 耐火制品荷重软化温度试验方法(非示差-升温法) 1995-04-24
- GB/T 5216-2014 保证淬透性结构钢 2014-12-05
- WS/T 32-1996 尿中镉的石墨炉原子吸收光谱测定方法 1996-10-14
相似标准推荐
更多>- 1 GB/T 22103-2008 城市污水再生回灌农田安全技术规范
- 2 YB/T 166-2000 冷成型用加磷高强度冷轧钢板和钢带
- 3 GB/T 30277-2013 信息安全技术 公钥基础设施 电子认证机构标识编码规范
- 4 NY/T 555-2002 动物产品中大肠菌群、粪大肠菌群和大肠杆菌的检测方法
- 5 GB/T 39959-2021 液体泵和泵机组 噪声试验方法2级和3级
- 6 GB/T 42661-2023 金属和合金的腐蚀 模拟海洋环境中钢筋应力腐蚀敏感性试验方法
- 7 YB/T 144-1998 超声探伤信号幅度误差测量方法
- 8 GB 7000.8-1997 游泳池和类似场所用灯具安全要求
- 9 GB/T 44563-2024 航空用钛合金凸头大底脚螺纹抽芯铆钉
- 10 GB/T 6113.203-2020 无线电骚扰和抗扰度测量设备和测量方法规范 第2-3部分:无线电骚扰和抗扰度测量方法 辐射骚扰测量

关闭预览
