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

百检网 2021-07-16

标准号：BS ISO/IEC 13817-1-1997
中文标准名称：信息技术.程序语言、及其环境和系统软件接口.第1部分:维也纳研制法.规范语言.基本语言
英文标准名称：Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification language - Base language
标准类型：L74
发布日期：1997/4/15 12:00:00
实施日期：1997/4/15 12:00:00
中国标准分类号：L74
国际标准分类号：35.060
适用范围：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.

百检能给您带来哪些改变？

1、检测行业全覆盖，满足不同的检测；

2、实验室全覆盖，就近分配本地化检测；

3、工程师一对一服务，让检测更精准；

4、免费初检，初检不收取检测费用；

5、自助下单快递免费上门取样；

6、周期短，费用低，服务周到；

7、拥有CMA、CNAS、CAL等权威资质；

8、检测报告权威有效、中国通用；

客户案例展示

上一篇《HB 4-37-1999 组合导管》

下一篇《ASTM D6544-2000(2007) 紫外线(UV)透射试验前纺织品制作的标准实施规程》

版权与免责声明

①本网注名来源于“互联网”的所有作品，版权归原作者或者来源机构所有,如果有涉及作品内容、版权等问题，请在作品发表之日起一个月内与本网联系，联系邮箱service@baijiantest.com，否则视为默认百检网有权进行转载。

②本网注名来源于“百检网”的所有作品，版权归百检网所有，未经本网授权不得转载、摘编或利用其它方式使用。想要转载本网作品，请联系:service@baijiantest.com。已获本网授权的作品，应在授权范围内使用，并注明"来源：百检网"。违者本网将追究相关法律责任。

③本网所载作品仅代表作者独立观点，不代表百检立场，用户需作出独立判断，如有异议或投诉，请联系service@baijiantest.com