TOP
0
0
進階搜尋

熱搜：

特價字典展

、

陳澄波百三特展

、

黃仁勳傳預購

、

職業棒球 第514期

、

我所看見的未來

、

雪山覓徑

、

公務員每月一書

、

三民年度暢銷TOP100

、

制度基因

、

曬書祭

、

年夜飯

、

cpi數據

熱搜： 特價字典展、 陳澄波百三特展、 黃仁勳傳預購、 職業棒球 第514期、 我所看見的未來、 雪山覓徑、 公務員每月一書、 三民年度暢銷TOP100、 制度基因、 曬書祭、 年夜飯、 cpi數據

165反詐騙

2025新年快樂!天天領券享優惠!

縮小範圍

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

三民網路書店 / 搜尋結果

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

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

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

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