标准号:ANSI ISO/IEC 13817-1-1996
中文标准名称:信息技术.程序设计语言及其环境与系统应用程序接口.维也纳开发方法.规范语言.第1部分:INCITS采纳的底层语言
英文标准名称:Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language Adopted by INCITS
标准类型:L74
发布日期:1999/12/31 12:00:00
实施日期:1999/12/31 12:00:00
中国标准分类号:L74
国际标准分类号:35.060
适用范围:This International Standard specifies specification language the Vienna Development Method Specification Language. Specifies: two representations: the mathematical and interchange; the syntax; the static semantics; the dynamic semantics; conformity for specifications and tools. Does't specify: the proof obligations; the reification rules; the size or complexity of a specification that will exceed the capacity of any specific data processing system or the capacity of a particular tool.
相关标准
《SJ/T 11607-2016》指纹识别设备通用规范SJ/T 11607-2016
《SJ/T 11607-2016》指纹识别设备通用规范SJ/T 11607-2016
《SJ/T 11607-2016》指纹识别设备通用规范SJ/T 11607-2016
《SJ/T 11607-2016》指纹识别设备通用规范SJ/T 11607-2016
《SJ/T 11607-2016》指纹识别设备通用规范SJ/T 11607-2016
《SJ/T 11607-2016》指纹识别设备通用规范SJ/T 11607-2016
《SJ/T 11607-2016》指纹识别设备通用规范SJ/T 11607-2016
《SJ/T 11607-2016》指纹识别设备通用规范SJ/T 11607-2016
《SJ/T 11607-2016》指纹识别设备通用规范SJ/T 11607-2016
《GB/T 18284-2000》快速响应矩阵码 /GB/T 18284-2000
百检网专注于为第三方检测机构以及中小微企业搭建互联网+检测电商服务平台,是一个创新模式的检验检测服务网站。百检网致力于为企业提供便捷、高效的检测服务,简化检测流程,提升检测服务效率,利用互联网+检测电商,为客户提供多样化选择,从根本上降低检测成本提升时间效率,打破行业壁垒,打造出行业创新的检测平台。
百检能给您带来哪些改变?
1、检测行业全覆盖,满足不同的检测;
2、实验室全覆盖,就近分配本地化检测;
3、工程师一对一服务,让检测更精准;
4、免费初检,初检不收取检测费用;
5、自助下单 快递免费上门取样;
6、周期短,费用低,服务周到;
7、拥有CMA、CNAS、CAL等权威资质;
8、检测报告权威有效、中国通用;