滿額折
Event-B建模系統和軟件工程（簡體書）
- ISBN13：9787115508997
- 出版社：人民郵電出版社
- 作者：(法)簡‧埃蒙德‧阿布瑞爾
- 裝訂／頁數：平裝／462頁
- 規格：29cm*21cm (高/寬)
- 版次：一版
- 出版日：2019/09/01
相關商品
商品簡介
商品簡介
這本實用的教科書適用於形式化方法的入門課程或高級課程。本書以B形式化方法的一個擴展Event-B作為工具，展示了一種完成系統建模和設計的數學方法。
簡-埃蒙德·阿布瑞爾（Jean-Raymond Abrial）是國際著名計算機科學家，曾任蘇黎世聯邦理工學院客座教授，他基於精化的思想提出了一種系統化的方法，教讀者如何逐步構造出所期望的模型，並通過嚴格的證明完成對所構造模型做系統化的推理。本書將介紹如何根據實際需要去構造各種程序，以及如何更為普遍地構造各種離散系統的模型。本書提供了大量的示例，這些示例源自計算機系統開發的各個領域，包括順序程序、併發程序和電子線路等。
本書還包含了大量具有不同難度的練習和開發項目。書中的每個例子都用Rodin平臺工具集證明過。
本書適合作為高等院校計算機、軟件工程、網絡工程、信息安全等專業高年級本科生、研究生的教材，也可供相關領域的研究人員和技術人員參考。
簡-埃蒙德·阿布瑞爾（Jean-Raymond Abrial）是國際著名計算機科學家，曾任蘇黎世聯邦理工學院客座教授，他基於精化的思想提出了一種系統化的方法，教讀者如何逐步構造出所期望的模型，並通過嚴格的證明完成對所構造模型做系統化的推理。本書將介紹如何根據實際需要去構造各種程序，以及如何更為普遍地構造各種離散系統的模型。本書提供了大量的示例，這些示例源自計算機系統開發的各個領域，包括順序程序、併發程序和電子線路等。
本書還包含了大量具有不同難度的練習和開發項目。書中的每個例子都用Rodin平臺工具集證明過。
本書適合作為高等院校計算機、軟件工程、網絡工程、信息安全等專業高年級本科生、研究生的教材，也可供相關領域的研究人員和技術人員參考。
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。