BS ISO/IEC 13568-2002 信息技术.Z形式规范注释.语法、类型系统和语义学

作者:标准资料网时间:2024-05-27 11:54:39 浏览:8426 来源:标准资料网

【英文标准名称】:Informationtechnology-Zformalspecificationnotation-Syntax,typesystemandsemantics
【原文标准名称】:信息技术.Z形式规范注释.语法、类型系统和语义学
【标准号】:BSISO/IEC13568-2002
【标准状态】:现行
【国别】:英国
【发布日期】:2002-08-08
【实施或试行日期】:2002-08-08
【发布单位】:英国标准学会(BSI)
【起草单位】:BSI
【标准类型】:()
【标准水平】:()
【中文主题词】:数据元;尺寸;数据表示;编写;句法;注释;信息技术;信息交换;数据处理;定义;语义学
【英文主题词】:Dataelements;Dataprocessing;Datarepresentation;Definition;Definitions;Formats;Informationinterchange;Informationtechnology;Notation;Representations;Semantics;Syntax
【摘要】:ThefollowingarewithinthescopeofthisInternationalStandard:·thesyntaxoftheZnotation;·thetypesystemoftheZnotation;·thesemanticsoftheZnotation;·atoolkitofwidelyusedmathematicaloperators;·LATEX[10]ande-mailmark-upsoftheZnotation.ThefollowingareoutsidethescopeofthisInternationalStandard:·anymethodofusingZ,thoughaninformativeannex(E)describesonewidely-usedconvention.
【中国标准分类号】:L70
【国际标准分类号】:35_060
【页数】:198P;A4
【正文语种】:英语

下载地址: 点击此处下载

返回跳至顶部

上一篇: BS ISO/IEC 15474-1-2002 信息技术.CDIF框架.总揽
下一篇: BS ISO/IEC 15476-2-2002 信息技术.CDIF语意元模式.通用

标准名称：	金属拉伸蠕变及持久试验方法
英文名称：	Metallic materials—Creep and stress-rupture test in tension
中标分类：	冶金 >> 金属理化性能试验方法 >> 金属力学性能试验方法
ICS分类：	冶金 >> 金属材料试验 >> 金属材料力学试验
替代情况：	GB 2039-1980 GB 6395-1986;被GB/T 2039-2012代替
发布部门：	国家技术监督局
发布日期：	1997-03-17
实施日期：	1997-09-01
首发日期：	1980-11-11
作废日期：	2013-03-01
主管部门：	中国钢铁工业协会
归口单位：	全国钢标准化技术委员会
起草单位：	北京钢铁研究总院
出版社：	中国标准出版社
出版日期：	1997-09-01
页数：	11页