您的位置: 标准下载 » 国际标准 » BS 英国标准 »

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

时间:2024-05-14 05:55:39 来源: 标准资料网 作者:标准资料网 阅读:8454
下载地址: 点击此处下载
【英文标准名称】: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
【正文语种】:英语


【英文标准名称】:Aerospaceseries;eye-ends,threaded,controlcableincorrosionresistingsteel;dimensionsandloads
【原文标准名称】:航空和航天系列.不锈钢制带螺纹眼索端的操纵钢索.尺寸和负荷
【标准号】:DINEN2354-1989
【标准状态】:现行
【国别】:德国
【发布日期】:1989-11
【实施或试行日期】:
【发布单位】:德国标准化学会(DE-DIN)
【起草单位】:
【标准类型】:()
【标准水平】:()
【中文主题词】:尺寸;线环;螺纹;耐腐蚀钢;断裂荷载;紧固眼螺栓;负荷;名称与符号;松紧螺纹扣;材料;航空运输;航天运输;规范(验收);作标记;螺钉;公差(测量);飞行操纵;钢;控制电缆;飞行器;航空航天运输
【英文主题词】:Aerospacetransport;Airtransport;Aircraft;Aircraftcontrols;Breakingload;Controlcables;Corrosion-resistantsteels;Designations;Dimensions;Eyelets;Loading;Marking;Materials;Screws(bolts);Spacetransport;Specification(approval);Steels;Threads;Tighteningeyebolts;Tolerances(measurement);Turnbuckles
【摘要】:Thisstandardspecifiesthecharacteristicsofthreadedeye-endsincorrosionresistingsteelintendedfortheturnbucklesofaircraftcontrolcables.
【中国标准分类号】:V20
【国际标准分类号】:49_030_99
【页数】:7P.;A4
【正文语种】:德语


基本信息
标准名称:搪玻璃搅拌器 桨式搅拌器
英文名称:Glass lined vessel parameter
中标分类: 化工 >> 化工机械与设备 >> 非金属化工机械设备
ICS分类: 化工技术 >> 化工设备 >> 其他化工设备
替代情况:替代HG 5-280-1979;被HG/T 2051.4-2007替代
发布日期:1991-07-06
实施日期:1992-01-01
首发日期:1900-01-01
作废日期:2008-04-01
出版日期:1900-01-01
页数:9页
适用范围

没有内容

前言

没有内容

目录

没有内容

引用标准

没有内容

所属分类: 化工 化工机械与设备 非金属化工机械设备 化工技术 化工设备 其他化工设备