BS ISO/IEC 13817-1:1997
信息技术.程序语言、及其环境和系统软件接口.第1部分:维也纳研制法.规范语言.基本语言

Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification language - Base language

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

如果您需要购买此标准的全文，请联系： 。

注意： 点击下载后，生成下载文件时间比较长，请耐心等待......

标准号

BS ISO/IEC 13817-1:1997

发布

1997年

发布单位

英国标准学会

 

 

被代替标准

95/646075 DC:1995

适用范围

Specifies the model based specification language VDM-SL (Vienna Development Method - Specification Language). Contains the mathematical and interchange representation, gives the syntax, the static and the dynamic semantics, and conformity for specification and tools.

BS ISO/IEC 13817-1:1997相似标准

推荐