标准编号：ISO/IEC 13568:2002
中文名称：信息技术-Z格式规范符号-句法,类型系统和语义
英文名称：Information technology — Z formal specification notation — Syntax, type system and semantics
发布日期：2002-07
ISO/IEC 13568:2002 信息技术-Z格式规范符号-句法,类型系统和语义
立即下载标准文件大家都在看
- ISO 8100-32:2020 客运电梯和货运电梯 第32部分：办公楼、酒店、住宅的载客电梯的规划和选择
- ISO 11626:2024 天然气 含硫化合物的测定 用紫外线吸收法测定硫化氢含量
- ISO/TR 9210:1992 明渠液体流量测定.弯曲河流和不规则河岸的河流的测定
- ISO 1442:1997 肉和肉制品.水含量的测定
- ISO 14230-2:2016 道路车辆 K-Line（杀线）的诊断通信（DoK-Line） 第2部分：数据链路层
- ISO 20871:2018 鞋类 外底磨损试验方法 耐磨性能
- ISO 14520-12:2005 气体灭火系统-物理属性和系统设计-第12部分： IG-01灭火剂
- ISO/IEC TR 4339:2022 学习、教育和培训用信息技术.教育中信息和通信技术（ICT）评估参考模型
- ISO 18933:2012 成像材料 磁带 扩展使用的维护和操作规程
- ISO 7172:1988 家具.桌子.稳定性测定