ISO/IEC 13568:2002/COR1:2007 现行

勘误表 1 信息技术 Z 形式规范表示法语法、类型系统和语义

标准摘要

[中文适用范围]：本国际标准的电子版可从 ISO/IEC 信息技术任务组 (ITTF) 网站下载。

英文名称Information technology - Z formal specification notation - Syntax, type system and semantics - Technical Corrigendum 1

替代关系