说明:收录25万 73个行业的国家标准 支持批量下载
文库搜索
切换导航
文件分类
频道
仅15元无限下载
联系我们
问题反馈
文件分类
仅15元无限下载
联系我们
问题反馈
批量下载
ICS_35. 240. 20 L 76 GB 中华人民共和国国家标准 GB/T 15936.10—1996 idt IS0 8613-10:1991 信息处理 文本和办公系统 办公文件体系结构(ODA)和交换格式 第10部分:形式规范 Information processing--Text and office systems- Office Document Architecture(ODA) and interchange formatPart 10:Formal specifications 1996-12-26发布 1997-07-01实施 国家技术监督局发布 GB/T 15936.10---1996 目 次 前言 ISO前言 1范围 2 引用标准 3 定义 4 规范语言的语法和语义 4.1 基本概念…· 4.2 规范语言的语法 4.3 含固有语义的谓词符号 4.4 含固有语义的算符符号 4.5 其他项 4.6 记号筒化 5 形式规范的结构 6 常用定义 oi 文件结构的形式规范 16 7. 1 组元集· 7. 2 组元· 31 7. 3 属性…· 55 7. 4 辅助定义· 80 7. 4. 1 谓词 80 7.4.2 函数· 87 7.5补充术语定义。 7. 6 谓词符号、算符和属性名的索引 91 附录A(提示的附录)有关规范语言的介绍 101 Ai 引言 101 A2 原子构造 101 A3 复合构造 102 A4 点 102 A5 谓词 103 A6 算符 104 A7 GB/T15936形式规范的谓词 106 A8 进 一步举例 106
GB-T 15936.10-1996 信息处理 文本和办公系统 办公文件体系结构(ODA)和交换格式 第10部分 形式规范
文档预览
中文文档
112 页
50 下载
1000 浏览
0 评论
309 收藏
3.0分
赞助5.6元下载(无需注册)
温馨提示:本文档共112页,可预览 3 页,如浏览全部内容或当前文档出现乱码,可开通会员下载原始文档
下载文档到电脑,方便使用
赞助5.6元下载
本文档由 人生无常 于
2024-06-01 04:47:19
上传分享
举报
下载
原文档
(165.5 MB)
分享
友情链接
T-CSAE 237—2021 重型汽车实际行驶污染物排放测试技术规范.pdf
T-CPUMT 008—2022 工业信息安全漏洞分类分级指南.pdf
GB-T 43711-2024 电子采购交易规范 非招标方式.pdf
GB-T 24455-2022 擦手纸.pdf
GB-T 40594-2021 电力系统网源协调技术导则.pdf
DB23-T 1574—2020 森林火灾林木损失调查评估技术规程 黑龙江省.pdf
DB41-T 1647-2018 金属非金属深井矿山通风安全规程 河南省.pdf
2022年能源工作指导意见.pdf
GB-T 39026-2020 循环再利用聚酯(PET)纤维鉴别方法.pdf
GB-T 5171.22-2017 小功率电动机 第22部分:永磁无刷直流电动机试验方法.pdf
GB-T 33562-2017 信息安全技术 安全域名系统实施指南.pdf
T-SZFAA 03—2019 人工光型植物工厂建设规范.pdf
SN-T 5476-2022 进境马属动物指定隔离检疫场建设规范.pdf
DB4401-T 28-2019 排水管渠维修养护技术规范 广州市.pdf
等保二级-安全技术-数据安全.doc
GM-T 0125.3-2022 JSON Web 密码应用语法规范 第3部分:数据加密.pdf
专利 一种基于神经网络模型及遗传算法的温控方法及装置.PDF
DA-T 94-2022 电子会计档案管理规范.pdf
T-CPUMT 006—2022 工业数据安全事件应急预案编制指南.pdf
GM-T 0044.3-2016 SM9标识密码算法 第3部分:密钥交换协议.pdf
1
/
3
112
评价文档
赞助5.6元 点击下载(165.5 MB)
回到顶部
×
微信扫码支付
5.6
元 自动下载
官方客服微信:siduwenku
支付 完成后 如未跳转 点击这里 下载
站内资源均来自网友分享或网络收集整理,若无意中侵犯到您的权利,敬请联系我们
微信(点击查看客服)
,我们将及时删除相关资源。