ISO/IEC 13817-1-1996 信息技術(shù).程序設(shè)計語言及其環(huán)境和系統(tǒng)軟件接口.Vienna(維也納)開發(fā)方法.規(guī)范語言.第1部分:基本語言
作者：百檢網(wǎng) 時間：2021-08-02
中文標準名稱：信息技術(shù).程序設(shè)計語言及其環(huán)境和系統(tǒng)軟件接口.Vienna(維也納)開發(fā)方法.規(guī)范語言.第1部分:基本語言
英文標準名稱：Information technology - Programming languages, their environments and system software interfaces - Vienna development method - Specification language - Part 1: Base language
標準類型：L77
發(fā)布日期：1999/12/31 12:00:00
實施日期：1999/12/31 12:00:00
中國標準分類號：L77
國際標準分類號：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.
相關(guān)標準
百檢能給您帶來哪些改變？
1、檢測行業(yè)全覆蓋，滿足不同的檢測；
2、實驗室全覆蓋，就近分配本地化檢測；
3、工程師一對一服務(wù)，讓檢測更精準；
4、免費初檢，初檢不收取檢測費用；
5、自助下單 快遞免費上門取樣；
6、周期短，費用低，服務(wù)周到；
7、擁有CMA、CNAS、CAL等權(quán)威資質(zhì)；
8、檢測報告權(quán)威有效、中國通用；
客戶案例展示
相關(guān)商品
相關(guān)資訊
最新資訊
.png)
版權(quán)與免責聲明
①本網(wǎng)注名來源于“互聯(lián)網(wǎng)”的所有作品，版權(quán)歸原作者或者來源機構(gòu)所有,如果有涉及作品內(nèi)容、版權(quán)等問題，請在作品發(fā)表之日起一個月內(nèi)與本網(wǎng)聯(lián)系，聯(lián)系郵箱service@baijiantest.com，否則視為默認百檢網(wǎng)有權(quán)進行轉(zhuǎn)載。
②本網(wǎng)注名來源于“百檢網(wǎng)”的所有作品，版權(quán)歸百檢網(wǎng)所有，未經(jīng)本網(wǎng)授權(quán)不得轉(zhuǎn)載、摘編或利用其它方式使用。想要轉(zhuǎn)載本網(wǎng)作品，請聯(lián)系:service@baijiantest.com。已獲本網(wǎng)授權(quán)的作品，應(yīng)在授權(quán)范圍內(nèi)使用，并注明"來源：百檢網(wǎng)"。違者本網(wǎng)將追究相關(guān)法律責任。
③本網(wǎng)所載作品僅代表作者獨立觀點，不代表百檢立場，用戶需作出獨立判斷，如有異議或投訴，請聯(lián)系service@baijiantest.com
關(guān)于我們 萬檢（上海）信息科技有限公司（簡稱：百檢網(wǎng)）是國內(nèi)知名B2B檢測電商服務(wù)平臺，專注于為第三方 檢測機構(gòu)以及中小微企業(yè)及個人用戶搭建互聯(lián)網(wǎng)+檢測電商服務(wù)平臺。平臺匯集了國內(nèi)外權(quán)威檢測機構(gòu)（CNAS/CMA）,其中不乏國家級、省級重點實驗室以及國際知名檢測機構(gòu)，為廣大用戶提供一站式檢測服務(wù)。
客服熱線 400-101-7153 專屬服務(wù)：156 0190 2607 企業(yè)郵箱：Service@Baijiantest.Com 聯(lián)系地址：上海市徐匯區(qū)宜山路700號
微信公眾號
官方微博
百檢集團
滬ICP備19010749號經(jīng)營許可證編號:滬B2-20190666Copyright@2019www.szlhsb.comAll Rights Reserved
- 微信客服
- 電話咨詢
- QQ客服
返回頂部
400-101-7153
15201733840