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 16558.7-2009 船舶维修保养体系 第7部分:报表格式 2009-03-31
- GB/T 33289-2016 馆藏砖石文物保护修复记录规范 2016-12-13
- GB/T 17737.324-2018 同轴通信电缆 第1-324部分:机械试验方法 电缆耐磨性试验 2018-03-15
- GB/T 23246-2009 电导率温度深度剖面仪 2009-03-11
- GB/T 13537-1992 电子类家用电器用电动机通用技术条件 1992-07-01
- GB/T 7095.1-1995 漆包扁绕组线 第1部分 一般规定 1995-04-06
- GB/T 20127.6-2006 钢铁及合金 痕量元素的测定 第6部分:没食子酸-示波极谱法测定锗含量 2006-03-02
- GB/T 32400-2015 信息技术 云计算 概览与词汇 2015-12-31
- GB/T 43048-2023 智慧城市 城市运行指标体系 总体框架 2023-09-07
- GB/T 33099-2016 浸胶骨架材料硬挺度的测定 三点弯曲法 2016-10-13
相似标准推荐
更多>- 1 GB/T 26499.2-2011 机械 科学数据 第2部分:数据元目录
- 2 GB/T 33115-2016 水仙迟季黄化病毒检疫鉴定方法
- 3 GB/T 26875.4-2011 城市消防远程监控系统 第4部分:基本数据项
- 4 GB/T 19799.1-2005 无损检测 超声检测 1号校准试块
- 5 GB/T 35910-2018 猪圆环病毒2型阻断ELISA抗体检测方法
- 6 GB/T 18226-2000 高速公路交通工程钢构件防腐技术条件
- 7 GB/T 39190-2020 物联网智能家居 设计内容及要求
- 8 GB/T 28878.5-2016 空间科学实验转动部件规范 第5部分:电机验收
- 9 GB/T 39768-2021 人类生物样本分类与编码
- 10 GB/T 28993-2012 结构用锯材力学性能测试方法

关闭预览
