购物车
400-168-0010
【国外标准】 Information technology - Z formal specification notation - Syntax, type system and semantics
本网站 发布时间：
2024-08-08
开通会员免费在线看70000余条国内标准，赠送文本下载次数，单本最低仅合13.3元！还可享标准出版进度查询、定制跟踪推送、标准查新等超多特权！
查看详情>>
标准简介适用范围：
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-up.
标准号：
INCITS/ISO/IEC 13568:2002 (R2022)
标准名称：
Information technology - Z formal specification notation - Syntax, type system and semantics
英文名称：
Information technology - Z formal specification notation - Syntax, type system and semantics标准状态：
现行-
发布日期：
-
实施日期：
出版语种：
- 其它标准
- 上一篇： INCITS/ISO/IEC 13568:2002 (R2017) Information technology - Z formal specification notation - Syntax, type system and semantics
- 下一篇： INCITS/ISO/IEC 13614:1995[S2009] Information technology - Interchange on 300 mm optical disk cartridges of the write once, read multiple (WORM) type using the SSF method
- 推荐标准
- ASTM F373-13(2022) Standard Test Method for Embossed Depth of Resilient Floor Coverings
- ASTM F377-03(2022) Standard Practice for Calibration of Braking/Tractive Measuring Devices for Testing Tires
- ASTM F410-08(2022) Standard Test Method for Wear Layer Thickness of Resilient Floor Coverings by Optical Measurement
- ASTM F420-04(2022) Standard Test Method for Access Depth Under Furniture of Vacuum Cleaners
- ASTM F452-76(2022) Standard Specification for Preformed Cranioplasty Plates
- ASTM F494-05(2022) Standard Test Methods for Evaluating Primary Disposable Bag Integrity for Vacuum Cleaners
- ASTM F504-05(2022) Standard Test Method for Measuring the Quasi-Static Release Moments of Alpine Ski Bindings
- ASTM F551/F551M-16(2022) Standard Practice for Using a 1.707-m [67.23-in.] Diameter Laboratory Test Roadwheel in Testing Tires
- ASTM F668-17(2022) Standard Specification for Polyvinyl Chloride (PVC), Polyolefin and Other Polymer-Coated Steel Chain Link Fence Fabric
- ASTM F704-81(2022) Standard Practice for Selecting Bolting Lengths for Piping System Flanged Joints
- ASTM F722-18(2022) Standard Specification for Welded Joints for Shipboard Piping Systems
- ASTM F734-17(2022) Standard Test Method for Shear Strength of Fusion Bonded Polycarbonate Aerospace Glazing Material
- ASTM F765-93(2022) Standard Specification for Wildcats, Ship Anchor Chain
- ASTM F812/F812M-12(2022)e1 Standard Specification for Surface Discontinuities of Nuts, Inch and Metric Series
- ASTM F881-94(2022) Standard Specification for Silicone Elastomer Facial Implants
