TOP
0
0
進階搜尋

熱搜：

Sad Trombone

、

數學放大鏡

、

漫畫少年學墨菲定律

、

佛法是科學的終極典範

、

民主與兩岸動向

、

老公怎麼還不去死

、

巨人的背影

、

永續發展相關規範與實務

、

新基本小六法

熱搜： Sad Trombone、 數學放大鏡、 漫畫少年學墨菲定律、 佛法是科學的終極典範、 民主與兩岸動向、 老公怎麼還不去死、 巨人的背影、 永續發展相關規範與實務、 新基本小六法

165反詐騙

【簡體曬書節】 單本79折，5本7折，優惠只到5/31，點擊此處看更多！

縮小範圍

商品類型
簡體書 （1）
商品狀況
可訂購商品 （1）
庫存狀況
無庫存 （1）
商品定價
$600~$799 （1）
出版日期
2018~2019 （1）
裝訂方式
平裝 （1）
作者
(法)簡‧埃蒙德‧阿布瑞爾 （1）
出版社/品牌
人民郵電出版社 （1）

三民網路書店 / 搜尋結果

共1筆商品，1/1頁
Event-B建模系統和軟件工程（簡體書）
滿額折
1.

Event-B建模系統和軟件工程（簡體書）

作者：(法)簡‧埃蒙德‧阿布瑞爾  出版社：人民郵電出版社  出版日：2019/09/01 裝訂：平裝
這本實用的教科書適用於形式化方法的入門課程或高級課程。本書以B形式化方法的一個擴展Event-B作為工具，展示了一種完成系統建模和設計的數學方法。簡-埃蒙德·阿布瑞爾（Jean-Raymond Abrial）是國際著名計算機科學家，曾任蘇黎世聯邦理工學院客座教授，他基於精化的思想提出了一種系統化的方法，教讀者如何逐步構造出所期望的模型，並通過嚴格的證明完成對所構造模型做系統化的推理。本書將介紹如何根據實際需要去構造各種程序，以及如何更為普遍地構造各種離散系統的模型。本書提供了大量的示例，這些示例源自計算機系統開發的各個領域，包括順序程序、併發程序和電子線路等。本書還包含了大量具有不同難度的練習和開發項目。書中的每個例子都用Rodin平臺工具集證明過。本書適合作為高等院校計算機、軟件工程、網絡工程、信息安全等專業高年級本科生、研究生的教材，也可供相關領域的研究人員和技術人員參考。
定價：774 元， 優惠價：87 673
海外經銷商無庫存，到貨日平均30天至45天
  • 共

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