CSA ISO/IEC 13568-04-CAN/CSA:2004
信息技术Z格式规范、标志法语法、形式系统和语义学,ISO/IEC 13568:2002

Information technology Z formal specification notation Syntax, type system and semantics ISO/IEC 13568:2002

作废

非常抱歉，我们暂时无法提供预览，您可以试试： 免费下载 CSA ISO/IEC 13568-04-CAN/CSA:2004 前三页，或者稍后再访问。

您也可以尝试购买此标准，
点击右侧 “立即购买” 按钮开始采购（由第三方提供）。

标准号

CSA ISO/IEC 13568-04-CAN/CSA:2004

发布

2004年

发布单位

加拿大标准协会

 

 

适用范围

ISO/IEC 13719 的这一部分定义了 ISO/IEC 137 19-1 中指定的可移植通用工具环境 (PCTE) 接口与 Ada 编程语言的绑定。 ISO/IEC 13719-1 中并未完全定义许多功能，部分自由

CSA ISO/IEC 13568-04-CAN/CSA:2004相似标准