TOP
0
0
進階搜尋

熱搜：

漫畫少年學墨菲定律

、

電影與文化冷戰

、

快速存到一桶金

、

雷驤

、

佛法是科學的終極典範

、

錢買不到的東西

、

新譯六祖壇經

、

DragonMasters 1-23

、

新基本小六法

熱搜： 漫畫少年學墨菲定律、 電影與文化冷戰、 快速存到一桶金、 雷驤、 佛法是科學的終極典範、 錢買不到的東西、 新譯六祖壇經、 DragonMasters 1-23 、 新基本小六法

165反詐騙

即日起~6/30，暑期閱讀書展，好書7折起

縮小範圍

商品類型
簡體書 （1）
商品狀況
可訂購商品 （1）
庫存狀況
無庫存 （1）
商品定價
$400~$599 （1）
出版日期
2016~2017 （1）
裝訂方式
平裝 （1）
作者
崔夢天、趙翠新、王玉紅 （1）
出版社/品牌
科學出版社 （1）

三民網路書店 / 搜尋結果

共1筆商品，1/1頁
可信軟件與開發方法（簡體書）
滿額折
1.

可信軟件與開發方法（簡體書）

作者：崔夢天; 趙翠新; 王玉紅  出版社：科學出版社  出版日：2016/08/10 裝訂：平裝
本書從軟體實際開發過程出發，將形式化技術應用于每個開發階段，系統地介紹了基於B方法完成軟體形式化開發的模式、過程、技術和方法，其中包括UML模型圖到B方法形式規約的比較全面的轉換方法，實現形式規約的精化過程，形式化B方法的驗證技術，從UML形式化規約的逐步精化的規範與方法問題，整個規約、精化直到代碼生產階段的模型形式化驗證及自動化，基於B方法的物件導向軟體體系結構的形式化方法。通過該書的介紹使得學
定價：414 元， 優惠價：87 360
海外經銷商無庫存，到貨日平均30天至45天
  • 共

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