標準號: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、檢測報告權威有效、中國通用;