ISO/IEC 13568-2002 信息技术.Z格式规范标志法.语法,形式系统和语义学

作者:标准资料网时间:2024-05-19 10:37:30 浏览:8021 来源:标准资料网

【英文标准名称】:Informationtechnology-Zformalspecificationnotation-Syntax,typesystemandsemantics
【原文标准名称】:信息技术.Z格式规范标志法.语法,形式系统和语义学
【标准号】:ISO/IEC13568-2002
【标准状态】:现行
【国别】:国际
【发布日期】:2002-07
【实施或试行日期】:
【发布单位】:国际标准化组织(IX-ISO)
【起草单位】:ISO/IECJTC1
【标准类型】:()
【标准水平】:()
【中文主题词】:表示法;语义学;句法;定义;数据处理;数据元;信息技术;信息交换;数据表示;尺寸;标志法
【英文主题词】: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
【页数】:189P;A4
【正文语种】:英语

下载地址: 点击此处下载

返回跳至顶部

上一篇: ISO/IEC 20970-2002 信息技术.程序设计语言及其环境和系统软件接口.JEFF文件格式
下一篇: ISO/IEC 23289-2002 信息技术.远程通信及系统间的信息交换.通用通信网络.QSIG和H.323间的信令互动.基本业务

标准名称：	山楂糕、条、片
中标分类：	食品 >> 食品加工与制品 >> 果类加工与制品
发布日期：	1992-08-14
实施日期：	1992-12-01
首发日期：	1900-01-01
作废日期：	1900-01-01
出版日期：	1900-01-01
页数：	2页