廣8/15-8/18 電競品牌慶 關閉

二手書博民逛書店英文原版Practical罕見UML-Based Specification, Validation, and V

賣場50%為【簡體】二手書,下單前【問與答】詢問存貨!超重費另計!商品由中國寄至臺灣約10-15天!

網路價
3300元 約可獲得超贈點: 33 點
分期價
3期 利率為 3 % 每期1133接受32家銀行
6期 利率為 3.5 % 每期569接受32家銀行
12期 利率為 6 % 每期291接受28家銀行
付款方式 狂送11%回饋:刷永豐滿9仟送1000
刷卡紅利折抵 接受19家銀行
  • 信用卡 接受信用卡刷卡
  • LINE Pay接受LINE Pay
  • ATM轉帳 接受ATM轉帳付款
  • 全家繳費不取貨 全家繳費不取貨
交貨方式
服務承諾 七日鑑賞期內退貨免運費
店家即時通
  • 商品詳細說明
分級標示普級
二手書博民逛書店英文原版Practical罕見UML-Based Specification, Validation, and V

二手書博民逛書店英文原版Practical罕見UML-Based Specification, Validation, and Verification of Mission-Critical SoftwareY492923 Drusinsky, Doron Dog Ear Publishing ISBN:9781457504945 出版2011

作 者:Drusinsky, Doron

出 版 社:Dog Ear Publishing

出版時間:2011-08

印刷時間:

印 數:

裝 訂:

版 次:1

開 本:

頁 數:156頁

字 數:

I S B N:9781457504945

年 代:

裝 幀:平裝

尺 寸:

冊 數:

紙 張:

刻印方式:

代購商品
This book uses practical mission critical examples to teach readers how to use the UML as a visual, accurate, and computer understandable specification language. It then teaches readers how to use computer-aided tools to prune out specification ambiguities and to apply the resulting computer understandable specification language toward computer-aided verification. As modern systems become more complex and pervasive, developers and customers are increasingly dependent on software-based systems that control many aspects of our lives. Developers and managers are increasingly worried whether their software would work as specified; customers are also concerned whether developers have built the software in a way that conforms with the customers requirements. This book teaches readers how to use the UML as a visual, accurate, and computer understandable specification language. It then teaches readers how to use computer-aided tools to prune out specification ambiguities and to apply the resulting computer-understandable specification language toward computer-aided verification. Doron Drusinsky, PhD, a professor at the Naval Postgraduate School (NPS), in Monterey, California, and one of the world's foremost authorities on UML statecharts, runtime verification, and execution-based model checking, provides this important information using real-life examples of mission-critical systems, including an in-depth requirement analysis example, written with Steven Raque of the NASA IV&V Facility, and two in-depth application examples, written with Konstantin Belyin of the Naval Air Warfare Center, and Miriam Alves, of the Brazilian Institute of Aeronautics and Space (co-authored with Professors Man-tak Shing and Bret Michael, of NPS) By following the guidelines provided in this book, you'll be able to get up to speed quickly and utilize the UML for making your software more trustworthy.

492923/4418156209

  • 9.9 店家滿意度
  • 5.2 出貨天數
  • 1.0 回信天數
  • 14.5 缺貨率%
店家即時通

消費者滿意度:9.9

商店滿意度

平均服務品質

出貨速度:5.2
回信速度:1.0
缺貨率:14.5 %

近一週瀏覽次數:1434

本店商品搜尋

商品名稱 店家貨號

價格範圍  ~ 

本店全部分類

熱賣相關品

(購買這件商品的人,通常也會購買下列商品。)

TOP
[x]
[x]

加入收藏清單

商品名稱:
標籤:(非必填)

你還可新增 個標籤 (每次新增限輸入一個,每次限10個字)
您可自訂標籤,方便資料分類與管理

常用的標籤:
資料傳輸中.