TOP
0
0
進階搜尋

熱搜：

簽到領好禮

、

「野蠻」的復權

、

我推的孩子 13

、

86不存在的戰區13

、

迷宮飯

、

島嶼裡的遠方

、

NG書-DogMan

、

許倬雲

、

佛法是科學的終極典範

、

漫畫少年學墨菲定律

、

美債

、

特斯拉股價

熱搜： 簽到領好禮、 「野蠻」的復權、 我推的孩子 13、 86不存在的戰區13、 迷宮飯、 島嶼裡的遠方、 NG書-DogMan、 許倬雲、 佛法是科學的終極典範、 漫畫少年學墨菲定律、 美債、 特斯拉股價

165反詐騙

即日起~7/10，三民書局週年慶暖身活動，簽到拿好禮!

縮小範圍

商品類型
簡體書 （1）
商品狀況
可訂購商品 （1）
庫存狀況
無庫存 （1）
商品定價
$200~$399 （1）
出版日期
2022~2023 （1）
裝訂方式
平裝 （1）
作者
韓德帥、馬光蓮 （1）
出版社/品牌
西北工業大學出版社 （1）

三民網路書店 / 搜尋結果

共1筆商品，1/1頁
複雜信息系統自適應軟件建模與可靠性驗證方法（簡體書）
滿額折
1.

複雜信息系統自適應軟件建模與可靠性驗證方法（簡體書）

作者：韓德帥; 馬光蓮  出版社：西北工業大學出版社  出版日：2022/08/01 裝訂：平裝
本書從複雜信息系統自適應邏輯建模與驗證、自適應時間特性建模與分析、自適應行為不確定性建模與決策三個方面著手，系統全面地介紹了面向複雜信息系統的自適應軟件建模與可靠性驗證分析相關的技術、理論和方法。全書共6章，其中，第1章重點介紹了自適應軟件建模與驗證相關的基礎知識，包括自適應軟件基本概念、基本術語；第2章重點介紹了複雜信息系統自適應邏輯建模與驗證技術，包括可視化建模、模型轉換、形式化建模與驗證等；第3章重點介紹了複雜信息系統自適應時間特性建模與分析，包括時間特性定義、建模與形式化驗證分析等；第4章重點介紹了複雜信息系統自適應行為不確定性建模與決策，包括不確定性建模、基於不確定性的自適應決策等；第5章重點介紹自適應軟件建模與驗證支撐工具開發方法；第6章介紹了自適應軟件建模與驗證方法的案例應用。
定價：348 元， 優惠價：87 303
海外經銷商無庫存，到貨日平均30天至45天
  • 共

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