[ 收藏 ] [ 简体中文 ]  
臺灣貨到付款、ATM、超商、信用卡PAYPAL付款,4-7個工作日送達,999元臺幣免運費   在線留言 商品價格為新臺幣 
首頁 電影 連續劇 音樂 圖書 女裝 男裝 童裝 內衣 百貨家居 包包 女鞋 男鞋 童鞋 計算機周邊

商品搜索

 类 别:
 关键字:
    

商品分类

列車運行控制繫統規範建模與驗證 唐濤//徐田華//趙林 著作 交通/
該商品所屬分類:醫學 -> 工業技術
【市場價】
243-352
【優惠價】
152-220
【作者】 唐濤 
【出版社】中國鐵道出版社 
【ISBN】9787113114602
【折扣說明】一次購物滿999元台幣免運費+贈品
一次購物滿2000元台幣95折+免運費+贈品
一次購物滿3000元台幣92折+免運費+贈品
一次購物滿4000元台幣88折+免運費+贈品
【本期贈品】①優質無紡布環保袋,做工棒!②品牌簽字筆 ③品牌手帕紙巾
版本正版全新電子版PDF檔
您已选择: 正版全新
溫馨提示:如果有多種選項,請先選擇再點擊加入購物車。
*. 電子圖書價格是0.69折,例如了得網價格是100元,電子書pdf的價格則是69元。
*. 購買電子書不支持貨到付款,購買時選擇atm或者超商、PayPal付款。付款後1-24小時內通過郵件傳輸給您。
*. 如果收到的電子書不滿意,可以聯絡我們退款。謝謝。
內容介紹



ISBN編號:9787113114602
書名:列車運行控制繫統規範建模與驗證 列車運行控制繫統規範建模與驗證
作者:唐濤

代碼:30
開本:16開
是否是套裝:否

出版社名稱:中國鐵道出版社

    
    
"

列車運行控制繫統規範建模與驗證

作  者: 唐濤//徐田華//趙林 著作
size="731x8"
定  價: 30
size="731x8"
出?版?社: 中國鐵道出版社
size="731x8"
出版日期: 2010年06月01日
size="731x8"
頁  數: 206
size="731x8"
裝  幀: 平裝
size="731x8"
ISBN: 9787113114602
size="731x8"
目錄
●章  概述
●節  軌道交通列控繫統發展趨勢
●第二節  列控繫統規範驗證的意義
●第三節  列控繫統規範的建模驗證方法
●第四節  列控繫統規範的嚴格建模與驗證體繫
●本章參考文獻
●第二章  繫統需求規範建模與驗證基礎
●節  繫統需求規範
●第二節  驗證和確認的概念
●第三節  繫統開發模型
●第四節  UML基礎知識
●第五節  符號模型檢驗
●本章參考文獻
●第三章  列控繫統的需求規範驗證內容與體繫
●節  列控繫統需求規範驗證內容
●第二節  列控繫統需求規範驗證方法體繫
●第三節  列控繫統需求規範驗證流程
●本章參考文獻
●第四章  需求規範的管理
●節  需求規範管理的概念與意義......
內容虛線

內容簡介

size="789x11"

    唐濤、徐田華、趙林編著的《列車運行控制繫統規範建模與驗證》主要介紹了實現列控繫統需求規範的嚴格建模與驗證所必須的理論、方法和關鍵技術,內容包括現代列車運行控制繫統的特點和相關標準規範、繫統規範的嚴格建模與驗證體繫、模型檢驗相關基礎知識、需求規範的管理和追蹤、列控領域的UML建模以及針對CTCS-3繫統規範展開的實例分析。
《列車運行控制繫統規範建模與驗證》內容豐富,注重背景,可以作為研究生、教師以及軌道交通控制領域相關的科研人員了解列控繫統規範的建模與驗證的基本思想和方法的參考書。

"
 
網友評論  我們期待著您對此商品發表評論
 
相關商品
在線留言 商品價格為新臺幣
關於我們 送貨時間 安全付款 會員登入 加入會員 我的帳戶 網站聯盟
DVD 連續劇 Copyright © 2024, Digital 了得網 Co., Ltd.
返回頂部