BS ISO/IEC 13568-2002 信息技术.Z形式规范注释.语法、类型系统和语义学
时间:2024-05-11 16:27:29 来源: 标准资料网 作者：标准资料网 阅读：8341
【英文标准名称】: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
【正文语种】:英语
【英文标准名称】:IntegratedServicesDigitalNetwork(ISDN);Telephony7kHz,videotelephony,audiographicconferenceandvideoconferenceteleservices-DigitalSubscriberSignallingSystemNo.one(DSS1)protocol-Part2:ProtocolImplementationConformanceStatement(PI
【原文标准名称】:综合业务数字网(ISDN)."7kHz电话服务"、"可视电话服务"、"视听服务"和"电视会议服务".数字用户用1号信令系统协议(DSS1).第2部分:协议实现一致性声明形式规范
【标准号】:EN300267-2-2000
【标准状态】:现行
【国别】:
【发布日期】:2001-02
【实施或试行日期】:
【发布单位】:欧洲标准学会(EN)
【起草单位】:
【标准类型】:()
【标准水平】:()
【中文主题词】:传输协议;电视电话;综合业务数字网络;协议履行一致性声明;信号发送系统;信号传输;视频电话会议;电信设备;电信;会议呼叫
【英文主题词】:Communicationservice;Conferencecalls;Integratedservicesdigitalnetwork;ISDN;Protocolimplementationconformancestatement;Signaltransmission;Signallingsystems;Telecommunication;Telecommunications;Transmissionprotocol;Videoconferencings;Videotelephones;Videotelephony
【摘要】:
【中国标准分类号】:M11
【国际标准分类号】:33_080
【页数】:1P.;A4
【正文语种】:英语
【英文标准名称】:Glossaryofbuildingandcivilengineeringterms.Civilengineering.Superstructures.Bridges.Largespanstructures
【原文标准名称】:建筑及土木工程术语词汇.第2部分:土木工程.第3节:上面的建构、桥梁、大跨距结构
【标准号】:BS6100Sec.2.3-1992
【标准状态】:作废
【国别】:英国
【发布日期】:1992-09-15
【实施或试行日期】:
【发布单位】:英国标准学会(BSI)
【起草单位】:
【标准类型】:()
【标准水平】:()
【中文主题词】:建筑;负荷;结构;轴承;施工;建设;桥;建筑系统构件;上部结构;词汇;大跨度结构
【英文主题词】:bearings;construction;bridges;large-spanstructures;structures;loading;superstructures;vocabulary;constructionsystemsparts
【摘要】:
【中国标准分类号】:P20
【国际标准分类号】:
【页数】:18P;A4
【正文语种】:英语