ISO/IEC 13817-1-1996 信息技术 程序设计语言及其环境和系统软件接口 vienna（维也纳）开发方法 规范语言 第1部分：基本语言
ISO/IEC 13817-1-1996 标准详情
- 标准号：ISO/IEC 13817-1-1996
- 中文标题：信息技术 程序设计语言及其环境和系统软件接口 vienna（维也纳）开发方法 规范语言 第1部分：基本语言
- 英文标题：Information technology - Programming languages, their environments and system software interfaces - Vienna development method - Specification language - Part 1: Base language
- 标准类别：国际标准化组织标准ISO
- 发布日期：1996-12
内容简介
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 specifi
* 特别声明：资源收集自网络或用户上传，本网站所提供的电子文本仅供参考，请以正式出版物为准。仅供个人标准化学习，研究使用。如有侵权，请及时联系我们！
