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 30881-2014 信息技术 元数据注册系统(MDR) 模块 2014-09-03
- GB/T 30882.1-2014 信息技术 应用软件系统技术要求 第1部分:基于B/S体系结构的应用软件系统基本要求 2014-09-03
- GB/T 30883-2014 信息技术 数据集成中间件 2014-09-03
- GB/T 30884-2014 苹果醋饮料 2014-09-30
- GB/T 30885-2014 植物蛋白饮料 豆奶和豆奶饮料 2014-09-30
- GB/T 30886-2014 环形套筒窑 2014-09-30
- GB/T 30887-2014 钢铁联合企业水系统集成优化实施指南 2014-09-30
- GB/T 30887-2021 工业企业水系统集成优化技术指南 2021-12-31
- GB/T 30888-2014 纺织废水膜法处理与回用技术规范 2014-09-30
- GB/T 30889-2014 冻虾 2014-09-30
相似标准推荐
更多>- 1 GB/T 30953-2014 水文巡测装置
- 2 GB/T 30954-2014 水文自动测报系统 通用设备
- 3 GB/T 30955-2014 饲料中黄曲霉毒素B1、B2、G1、G2的测定 免疫亲和柱净化-高效液相色谱法
- 4 GB/T 30956-2014 饲料中脱氧雪腐镰刀菌烯醇的测定 免疫亲和柱净化-高效液相色谱法
- 5 GB/T 30957-2014 饲料中赭曲霉毒素A的测定 免疫亲和柱净化-高效液相色谱法
- 6 GB/T 30958-2014 生猪屠宰成套设备技术条件
- 7 GB/T 30958-2023 畜禽屠宰加工设备 猪屠宰成套设备技术条件
- 8 GB/T 30959-2014 河西绒山羊
- 9 GB/T 30960-2014 西藏羊
- 10 GB/T 30961-2014 嵌入式软件质量度量

关闭预览
