资料描述
【英文标准名称】: Information technology - Programming Languages - Z Specification Language
【原文标准名称】: 信息技术.程序设计语言.Z格式规范语言
【标准号】: ANSI/INCITS/ISO/IEC 13568-2002
【标准状态】: 现行
【国别】: 美国
【发布日期】: 2002
【实施或试行日期】:
【发布单位】: 美国国家标准学会(US-ANSI)
【起草单位】: ANSI
【标准类型】: ()
【标准水平】: ()
【中文主题词】: 数据元素;数据处理;数据表示;定义;(数据)格式;信息交换;信息技术;符号;表示法;语义学;句法
【英文主题词】: Data elements;Data processing;Data representation;Definition;Definitions;Formats;Information interchange;Information technology;Notation;Representations;Semantics;Syntax
【摘要】: The following are within the scope of this International Standard: the syntax of the Z notation; the type system of the Z notation; the semantics of the Z notation; a toolkit of widely used mathematical operators; L A T E X [10] and e-mail mark-ups of the Z notation.
【中国标准分类号】: L74
【国际标准分类号】: 35_060
【页数】:
【正文语种】: 英语
ISO 13562-1-2000 伸缩臂式工业车辆 第1部分:稳定性试验
【英文标准名称】: Industrial variable-reach trucks - Part 1: Stability tests
【原文标准名称】: 伸缩臂式工业车辆 第1部分:稳定性试验
【标准号】: ISO 13562-1-2000
【标准状态】: 现行
【国别】: 国际
【发布日期】:
EN 13561-2004 外部遮敝板.包括安全在内的性能要求
【英文标准名称】: External blinds - Performance requirements including safety; German version EN 13561:2004
【原文标准名称】: 外部遮敝板.包括安全在内的性能要求
【标准号】: EN 13561-2004
【标准状态】: 现行
【国别】: <
DIN 1356-6-2006 技术产品文件.建筑和土木工程制图.第6部分:建筑和施工场地文件
【英文标准名称】: Technical product documentation - Building and civil engineering drawings - Part 6: Documentation of buildings and construction sites
【原文标准名称】: 技术产品文件.建筑和土木工程制图.第6部分:建筑和施工场地文件
【标准号】: DIN 1356-6-2006<
ISO 13562-2-2001 伸缩臂式工业车辆 第2部分:6m及以上长度货运集装箱叉车附加稳定性试验
【英文标准名称】: Industrial variable-reach trucks - Part 2: Additional stability tests for trucks handling freight containers of 6 m length and above
【原文标准名称】: 伸缩臂式工业车辆 第2部分:6m及以上长度货运集装箱叉车附加稳定性试验
【标准号】: ISO 13562-2-2
ISO 13563-1-2001 单边负载叉车 第1部分：稳定性试验
【英文标准名称】: Single side loading fork-lift trucks - Part 1: Stability tests
【原文标准名称】: 单边负载叉车 第1部分：稳定性试验
【标准号】: ISO 13563-1-2001
【标准状态】: 现行
【国别】: 国际
【发布日
ISO 13563-2-2001 单边负载叉车 第2部分：搬运6m及以上长度集装箱的叉车的附加稳定性试验
【英文标准名称】: Single side loading fork-lift trucks - Part 2: Additional stability tests for trucks handling freight containers of 6 m length and above
【原文标准名称】: 单边负载叉车 第2部分：搬运6m及以上长度集装箱的叉车的附加稳定性试验
【标准号】: ISO 1356
ANSI/INCITS/ISO/IEC 13568-2002 信息技术.程序设计语言.Z格式规范语言
【英文标准名称】: Information technology - Programming Languages - Z Specification Language
【原文标准名称】: 信息技术.程序设计语言.Z格式规范语言
【标准号】: ANSI/INCITS/ISO/IEC 13568-2002
【标准状态】: 现行
【国别】:
ISO/IEC 13568-2002 信息技术.Z格式规范标志法.语法,形式系统和语义学
【英文标准名称】: Information technology - Z formal specification notation - Syntax, type system and semantics
【原文标准名称】: 信息技术.Z格式规范标志法.语法,形式系统和语义学
【标准号】: ISO/IEC 13568-2002
【标准状态】: 现行
EN 13566-2-2005 地下非压力排水排污网翻新用塑料管道系统.第2部分:连续管加衬.德文版本 EN 13566-2-2005
【英文标准名称】: Plastics piping systems for renovation of underground non-pressure drainage and sewerage networks - Part 2: Lining with continuous pipes; English version of DIN EN 13566-2:2006-02
【原文标准名称】: 地下非压力排水排污网翻新用塑料管道系统.第2部分:连续管加衬
GB/T 13560-2009 烧结钕铁硼永磁材料--国家标准全文数据库
【英文标准名称】: Materials for sintered neodymium iron boron permanent magnets
【中文标准名称】: 烧结钕铁硼永磁材料
【标准号】: GB/T 13560-2009
【标准状态】: 现行
【发布日期】: 1992-07-09
【实施日期
ANSI/INCITS/ISO/IEC 15938-2-2002 信息技术.多媒体内容描述接口.第2部分:描述定义语言
【英文标准名称】: Information Technology - Multimedia Content Description Interface - Part 2: Description Definition Language
【原文标准名称】: 信息技术.多媒体内容描述接口.第2部分:描述定义语言
【标准号】: ANSI/INCITS/ISO/IEC 15938-2-2002
ANSI/INCITS/ISO/IEC 9797-2-2002 信息技术.安全技术.电文鉴别代码(MACS).第2部分:专用散列函数的作用原理
【英文标准名称】: Information technology - Security techniques - Message Authentication Codes (MACs) - Part 2: Mechanisms using a dedicated hash-function
【原文标准名称】: 信息技术.安全技术.电文鉴别代码(MACS).第2部分:专用散列函数的作用原理
【标准号】: ANSI/I
ANSI/INCITS/ISO/IEC 9542-2002 信息处理系统.系统间电信和信息交换.与提供无连接方式网络服务协议共同使用的端系统至中间系统的路由选择信息交换协议
【英文标准名称】: Information Processing Systems - Telecommunications and Information Exchange Between Systems - End System to Intermediate System Routeing Exchange Protocol for Use In Conjunction with the Protocol for Providing the Connectionless-Mode Networ
ANSI/INCITS/ISO/IEC 15938-3-2002 信息技术.多媒体内容描述接口.第3部分:视频
【英文标准名称】: Information technology - Multimedia content description interface - Part 3: Visual
【原文标准名称】: 信息技术.多媒体内容描述接口.第3部分:视频
【标准号】: ANSI/INCITS/ISO/IEC 15938-3-2002
【标准状态】: 现行
ANSI/INCITS/ISO/IEC 15946-2-2002 信息技术.保密技术.基于椭圆曲线的密码技术.第2部分:数字签名
【英文标准名称】: Information technology - Security techniques - Cryptographic techniques based on elliptic curves - Part 2: Digital signatures
【原文标准名称】: 信息技术.保密技术.基于椭圆曲线的密码技术.第2部分:数字签名
【标准号】: ANSI/INCITS/ISO/IEC 1594
ANSI/INCITS/ISO/IEC 22050-2002 信息技术.数据互换用12,7mm的384道盒式磁带.Ultrium-1格式
【英文标准名称】: Information technology - Data interchange on 12,7 mm, 384-track magnetic tape cartridges - Ultrium-1 format
【原文标准名称】: 信息技术.数据互换用12,7mm的384道盒式磁带.Ultrium-1格式
【标准号】: ANSI/INCITS/ISO/IEC 22050-2002
ANSI/HL7 CMSV 1.4-2002 健康等级7的文本管理规范.版本1.0
【英文标准名称】: The Health Level Seven Context Management Specification, Version 1.0
【原文标准名称】: 健康等级7的文本管理规范.版本1.0
【标准号】: ANSI/HL7 CMSV 1.4-2002
【标准状态】: 作废
【国别】: 美国
ANSI S2.73-2002 机械振动和冲击.手臂振动.手心处手套振动传递率的测量和评定方法
【英文标准名称】: Mechanical vibration and shock - Hand-arm vibration - Method for the measurement and evaluation of the vibration transmissibility of gloves at the plam of the hand
【原文标准名称】: 机械振动和冲击.手臂振动.手心处手套振动传递率的测量和评定方法
ANSI S2.72 Part 1-2002 机械振动和冲击.人体处于全身振动的评定.第1部分:一般要求
【英文标准名称】: Mechanical vibration and shock - Evaluation of human exposure to whole-body vibration - Part 1: General requirements
【原文标准名称】: 机械振动和冲击.人体处于全身振动的评定.第1部分:一般要求
【标准号】: ANSI S2.72 Part 1-2002
ANSI/ISA RP12.13.02-2002 可燃气体监测仪器的安装、运行和维护推荐规范
【英文标准名称】: Recommended Practice for the Installation, Operation, and Maintenance of Combustible Gas Detection Instruments
【原文标准名称】: 可燃气体监测仪器的安装、运行和维护推荐规范
【标准号】: ANSI/ISA RP12.13.02-2002
【标准状态】:
ANSI/IEEE C57.123-2002 变压器损失测量指南
【英文标准名称】: Guide for Transformer Loss Measurement
【原文标准名称】: 变压器损失测量指南
【标准号】: ANSI/IEEE C57.123-2002
【标准状态】: 作废
【国别】: 美国
【发布日期】: 2002-11-13
ANSI C119.1-2002 额定电压为600伏的密封绝缘式地下连接器系统
【英文标准名称】: Sealed Insulated Underground Connector System Rated 600 Volts
【原文标准名称】: 额定电压为600伏的密封绝缘式地下连接器系统
【标准号】: ANSI C119.1-2002
【标准状态】: 作废
【国别】: 美国
【
ANSI C37.85-2002 电力开关用交流高压电力真空断路器的X射线辐射极限
【英文标准名称】: Interrupters Used in Power Switchgear, X-Radiation Limits for AC High-Voltage Power Vacuum
【原文标准名称】: 电力开关用交流高压电力真空断路器的X射线辐射极限
【标准号】: ANSI C37.85-2002
【标准状态】: 现行
ANSI C78.60360-2002 电灯.测量灯罩温升的标准方法
【英文标准名称】: Electric Lamps- Standard Method of Measurement of Lamp Cap Temperature Rise
【原文标准名称】: 电灯.测量灯罩温升的标准方法
【标准号】: ANSI C78.60360-2002
【标准状态】: 现行
【国别】: 美国
ANSI/UL 101-2002 电器漏电安全性标准
【英文标准名称】: Standard for Safety for Leakage Current for Appliances
【原文标准名称】: 电器漏电安全性标准
【标准号】: ANSI/UL 101-2002
【标准状态】: 现行
【国别】: 美国
【发布日期】: 2002
ANSI/ASAE/ISO 9192-2002 草坪和花园用座式拖拉机.单点管套挂钩
【英文标准名称】: Lawn and Garden Ride-On Tractors - One-Point Tubular Sleeve Hitch
【原文标准名称】: 草坪和花园用座式拖拉机.单点管套挂钩
【标准号】: ANSI/ASAE/ISO 9192-2002
【标准状态】: 现行
【国别】: 美国
ANSI/UL 1256-2002 屋顶覆盖层结构的着火试验
【英文标准名称】: Fire Test of Roof Deck Construction
【原文标准名称】: 屋顶覆盖层结构的着火试验
【标准号】: ANSI/UL 1256-2002
【标准状态】: 现行
【国别】: 美国
【发布日期】: 2002
【实施或试行日期】:
ANSI/UL 1917-2002 固态风机速度控制器的安全标准
【英文标准名称】: Standard for Safety for Solid-State Fan Speed Controls
【原文标准名称】: 固态风机速度控制器的安全标准
【标准号】: ANSI/UL 1917-2002
【标准状态】: 现行
【国别】: 美国
【发布日期】: 200
ANSI/ASAE/ISO 9191-2002 草地和园林用驾驶拖拉机.三点悬挂装置
【英文标准名称】: Lawn and Garden Ride-On (Riding) Tractors - Three-Point Hitch
【原文标准名称】: 草地和园林用驾驶拖拉机.三点悬挂装置
【标准号】: ANSI/ASAE/ISO 9191-2002
【标准状态】: 现行
【国别】: 美国
ANSI/ASAE/ISO 9190-2002 草地和园林用驾驶拖拉机.牵引杆
【英文标准名称】: Lawn and Garden Ride-On (Riding) Tractors - Drawbar
【原文标准名称】: 草地和园林用驾驶拖拉机.牵引杆
【标准号】: ANSI/ASAE/ISO 9190-2002
【标准状态】: 现行
【国别】: 美国
【发布日期】: