TOP
0
0
進階搜尋

熱搜：

115上學期參考書

、

開學季推薦

、

Bluey盒書

、

小學生國語辭典

、

紅樓夢心理學（上冊）

、

絕對超級大雨傘

、

新基本小六法

、

最新綜合六法全書

、

東野圭吾

、

2027年故宮大月曆

165反詐騙

💡 邁向小一的第一步！給孩子一本「查得到自信」的專屬辭典，輕鬆跨越閱讀關卡！🚀
縮小範圍
商品類型
外文書 (1)
商品狀態
可訂購 (1)
無庫存 (1)
商品定價
$800以上 (1)
出版日期
2017年以前 (1)
裝訂方式
精裝 (1)
出版社/品牌
Newnes (1)
作者
Doron Drusinsky (1)
搜尋結果 /

Model Checking

關鍵字：Model Checking 出版社/品牌:Newnes
共 1 筆
第1 / 1 頁
Modeling And Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring And Execution-Based Model Checking
1.

Modeling And Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring And Execution-Based Model Checking
出版日：2006/04/03 作者：Doron Drusinsky  出版社：Newnes  裝訂：精裝
As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools becomes increasingly vital. The developer
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
  • 共 1筆
    第 1 頁

暢銷榜
客服中心
收藏
會員專區
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品