[ 收藏 ] [ 简体中文 ]  
臺灣貨到付款、ATM、超商、信用卡PAYPAL付款,4-7個工作日送達,999元臺幣免運費   在線留言 商品價格為新臺幣 
首頁 電影 連續劇 音樂 圖書 女裝 男裝 童裝 內衣 百貨家居 包包 女鞋 男鞋 童鞋 計算機周邊

商品搜索

 类 别:
 关键字:
    

商品分类

  •  管理

     一般管理学
     市场/营销
     会计
     金融/投资
     经管音像
     电子商务
     创业企业与企业家
     生产与运作管理
     商务沟通
     战略管理
     商业史传
     MBA
     管理信息系统
     工具书
     外文原版/影印版
     管理类职称考试
     WTO
     英文原版书-管理
  •  投资理财

     证券/股票
     投资指南
     理财技巧
     女性理财
     期货
     基金
     黄金投资
     外汇
     彩票
     保险
     购房置业
     纳税
     英文原版书-投资理财
  •  经济

     经济学理论
     经济通俗读物
     中国经济
     国际经济
     各部门经济
     经济史
     财政税收
     区域经济
     统计 审计
     贸易政策
     保险
     经济数学
     各流派经济学说
     经济法
     工具书
     通货膨胀
     财税外贸保险类考试
     英文原版书-经济
  •  社会科学

     语言文字
     社会学
     文化人类学/人口学
     新闻传播出版
     社会科学总论
     图书馆学/档案学
     经典名家作品集
     教育
     英文原版书-社会科学
  •  哲学

     哲学知识读物
     中国古代哲学
     世界哲学
     哲学与人生
     周易
     哲学理论
     伦理学
     哲学史
     美学
     中国近现代哲学
     逻辑学
     儒家
     道家
     思维科学
     马克思主义哲学
     经典作品及研究
     科学哲学
     教育哲学
     语言哲学
     比较哲学
  •  宗教

  •  心理学

  •  古籍

     经部  史类  子部  集部  古籍管理  古籍工具书  四库全书  古籍善本影音本  中国藏书
  •  文化

     文化评述  文化随笔  文化理论  传统文化  世界各国文化  文化史  地域文化  神秘文化  文化研究  民俗文化  文化产业  民族文化  书的起源/书店  非物质文化遗产  文化事业  文化交流  比较文化学
  •  历史

     历史普及读物
     中国史
     世界史
     文物考古
     史家名著
     历史地理
     史料典籍
     历史随笔
     逸闻野史
     地方史志
     史学理论
     民族史
     专业史
     英文原版书-历史
     口述史
  •  传记

  •  文学

  •  艺术

     摄影
     绘画
     小人书/连环画
     书法/篆刻
     艺术设计
     影视/媒体艺术
     音乐
     艺术理论
     收藏/鉴赏
     建筑艺术
     工艺美术
     世界各国艺术概况
     民间艺术
     雕塑
     戏剧艺术/舞台艺术
     艺术舞蹈
     艺术类考试
     人体艺术
     英文原版书-艺术
  •  青春文学

  •  文学

     中国现当代随笔
     文集
     中国古诗词
     外国随笔
     文学理论
     纪实文学
     文学评论与鉴赏
     中国现当代诗歌
     外国诗歌
     名家作品
     民间文学
     戏剧
     中国古代随笔
     文学类考试
     英文原版书-文学
  •  法律

     小说
     世界名著
     作品集
     中国古典小说
     四大名著
     中国当代小说
     外国小说
     科幻小说
     侦探/悬疑/推理
     情感
     魔幻小说
     社会
     武侠
     惊悚/恐怖
     历史
     影视小说
     官场小说
     职场小说
     中国近现代小说
     财经
     军事
  •  童书

  •  成功/励志

  •  政治

  •  军事

  •  科普读物

  •  计算机/网络

     程序设计
     移动开发
     人工智能
     办公软件
     数据库
     操作系统/系统开发
     网络与数据通信
     CAD CAM CAE
     计算机理论
     行业软件及应用
     项目管理 IT人文
     计算机考试认证
     图形处理 图形图像多媒体
     信息安全
     硬件
     项目管理IT人文
     网络与数据通信
     软件工程
     家庭与办公室用书
  •  建筑

     执业资格考试用书  室内设计/装潢装修  标准/规范  建筑科学  建筑外观设计  建筑施工与监理  城乡规划/市政工程  园林景观/环境艺术  工程经济与管理  建筑史与建筑文化  建筑教材/教辅  英文原版书-建筑
  •  医学

     中医
     内科学
     其他临床医学
     外科学
     药学
     医技学
     妇产科学
     临床医学理论
     护理学
     基础医学
     预防医学/卫生学
     儿科学
     医学/药学考试
     医院管理
     其他医学读物
     医学工具书
  •  自然科学

     数学
     生物科学
     物理学
     天文学
     地球科学
     力学
     科技史
     化学
     总论
     自然科学类考试
     英文原版书-自然科学
  •  工业技术

     环境科学
     电子通信
     机械/仪表工业
     汽车与交通运输
     电工技术
     轻工业/手工业
     化学工业
     能源与动力工程
     航空/航天
     水利工程
     金属学与金属工艺
     一般工业技术
     原子能技术
     安全科学
     冶金工业
     矿业工程
     工具书/标准
     石油/天然气工业
     原版书
     武器工业
     英文原版书-工业技
  •  农业/林业

     园艺  植物保护  畜牧/狩猎/蚕/蜂  林业  动物医学  农作物  农学(农艺学)  水产/渔业  农业工程  农业基础科学  农林音像
  •  外语

  •  考试

  •  教材

  •  工具书

  •  中小学用书

  •  中小学教科书

  •  动漫/幽默

  •  烹饪/美食

  •  时尚/美妆

  •  旅游/地图

  •  家庭/家居

  •  亲子/家教

  •  两性关系

  •  育儿/早教

  •  保健/养生

  •  体育/运动

  •  手工/DIY

  •  休闲/爱好

  •  英文原版书

  •  港台图书

  •  研究生
     工学
     公共课
     经济管理
     理学
     农学
     文法类
     医学

  •  音乐
     音乐理论

     声乐  通俗音乐  音乐欣赏  钢琴  二胡  小提琴
  • EVENT-B建模:繫統和軟件工程 計算機與互聯網 簡-埃蒙德·阿布瑞
    該商品所屬分類:圖書 -> ε
    【市場價】
    696-1008
    【優惠價】
    435-630
    【出版社】人民郵電出版社 
    【ISBN】9787115508997
    【折扣說明】一次購物滿999元台幣免運費+贈品
    一次購物滿2000元台幣95折+免運費+贈品
    一次購物滿3000元台幣92折+免運費+贈品
    一次購物滿4000元台幣88折+免運費+贈品
    【本期贈品】①優質無紡布環保袋,做工棒!②品牌簽字筆 ③品牌手帕紙巾
    版本正版全新電子版PDF檔
    您已选择: 正版全新
    溫馨提示:如果有多種選項,請先選擇再點擊加入購物車。
    *. 電子圖書價格是0.69折,例如了得網價格是100元,電子書pdf的價格則是69元。
    *. 購買電子書不支持貨到付款,購買時選擇atm或者超商、PayPal付款。付款後1-24小時內通過郵件傳輸給您。
    *. 如果收到的電子書不滿意,可以聯絡我們退款。謝謝。
    內容介紹



    出版社:人民郵電出版社
    ISBN:9787115508997
    商品編碼:65100920504

    開本:26開
    出版時間:2018-03-01
    頁數:11

    代碼:129

        
        
    "
      商品基本信息,請以下列介紹為準
    商品名稱:EVENT-B建模:繫統和軟件工程 計算機與互聯網 書籍
    作者:簡-埃蒙德·阿布瑞爾
    代碼:129.0
    出版社:人民郵電出版社
    出版日期:2018-03-01
    ISBN:9787115508997
    印次:
    版次:1
    裝幀:平裝-膠訂
    開本:16開

      內容簡介
    這本實用的教科書適用於形式化方法的入門課程或課程。本書以B形式化方法的一個擴展Event-B作為工具,展示了一種完成繫統建模和設計的數學方法。
    簡-埃蒙德·阿布瑞爾(Jean-Raymond Abrial)是計算機科學家,曾任蘇黎世聯邦理工學院客座教授,他基於精化的思想提出了一種繫統化的方法,教讀者如何逐步構造出所期望的模型,並通過嚴格的證明完成對所構造模型做繫統化的推理。本書將介紹如何根據實際需要去構造各種程序,以及如何更為普遍地構造各種離散繫統的模型。本書提供了大量的示例,這些示例源自計算機繫統開發的各個領域,包括順序程序、並發程序和電子線路等。
    本書還包含了大量具有不同難度的練習和開發項目。書中的每個例子都用Rodin平臺工具集證明過。
    本書適合作為高等院校計算機、軟件工程、網絡工程、信息等專業本科生、研究生的教材,也可供相關領域的研究人員和技術人員參考。

      目錄
    第 1章引言 1
    1.1動機 1
    1.2各章概覽 2
    1.3如何用這本書 6
    1.4形式化方法 8
    1.5一個小迂回:藍圖 9
    1.6需求文檔 10
    1.6.1生命周期 10
    1.6.2需求文檔的困難 10
    1.6.3一種有用的比較 11
    1.7本書中使用的“形式化方法”的定義 12
    1.7.1復雜繫統 12
    1.7.2離散繫統 13
    1.7.3測試推理與模型(藍圖)推理 13
    1.8有關離散模型的非形式化概覽 14
    1.8.1狀態和遷移 14
    1.8.2作性解釋 14
    1.8.3形式化推理 15
    1.8.4管理閉模型的復雜性 15
    1.8.5精化 15
    1.8.6分解 16
    1.8.7泛型開發 16
    1.9 參考資料 17
    第 2章控制橋上的汽車 18
    2.1引言 18
    2.2需求文檔 18
    2.3精化策略 20
    2.4初始模型:限制汽車的數量 20
    2.4.1引言 20
    2.4.2狀態的形式化 21
    2.4.3事件的形式化 22
    2.4.4前-後謂詞 23
    2.4.5證明不變式的保持性質 23
    2.4.6相繼式 25
    2.4.7應用不變式保持性的規則 25
    2.4.8證明義務的證明 26
    2.4.9推理規則 27
    2.4.變量 29
    2.4.11證明 29
    2.4.12更多推理規則 30
    2.4.13改造兩個事件:引進衛 31
    2.4.14改造的不變式保持規則 31
    2.4.15重新證明不變式的保持性 32
    2.4.16初始化 33
    2.4.17初始化事件init的不變式建立規則 33
    2.4.18應用不變式建立規則 34
    2.4.19證明初始化的證明義務:更多推理規則 34
    2.4.20無死鎖 35
    2.4.21無死鎖規則 35
    2.4.22應用無死鎖證明義務規則 35
    2.4.23更多推理規則 36
    2.4.24證明無死鎖的證明義務 37
    2.4.25對初始模型的總結 38
    2.5第 一次精化:引入單行橋 38
    2.5.1引言 38
    2.5.2狀態的精化 39
    2.5.3精化抽像事件 40
    2.5.4重溫前-後謂詞 40
    2.5.5精化的非形式化證明 41
    2.5.6證明抽像事件的正確精化 42
    2.5.7應用精化規則 43
    2.5.8精化初始化事件init 45
    2.5.9初始化事件init精化正確性的證明義務規則 46
    2.5.10應用初始化精化的證明義務規則 46
    2.5.11引入新事件 46
    2.5.12空動作skip 47
    2.5.13證明兩個新事件的正確性 47
    2.5.14證明新事件的收斂性 49
    2.5.15應用非收斂證明義務規則 50
    2.5.16相對無死鎖 51
    2.5.17應用相對無死鎖證明義務規則 51
    2.5.18更多推理規則 52
    2.5.19第 一個精化的總結 54
    2.6第二次精化:引入交通燈 55
    2.6.1精化狀態 55
    2.6.2精化抽像事件 56
    2.6.3引進新事件 56
    2.6.4疊加:調整精化規則 57
    2.6.5證明事件的正確性 58
    2.6.6更多邏輯推理規則 58
    2.6.7試探性的證明和解 58
    2.6.8新事件的收斂性 64
    2.6.9相對無死鎖 67
    2.6.10第二個精化的總結 68
    2.7第三次精化:引入車輛傳感器 70
    2.7.1引言 70
    2.7.2精化狀態 72
    2.7.3精化控制器裡的抽像事件 75
    2.7.4在環境裡增加新事件 77
    2.7.5新事件的收斂性 78
    2.7.6無死鎖 78
    第3章衝壓機控制器 79
    3.1非形式描述 79
    3.1.1基本設備 79
    3.1.2基本命令和按鈕 80
    3.1.3基本用戶動作 80
    3.

      編輯

    Event-B是一種基於傳統的謂詞演算和定理證明的形式化語言,支持逐步精化地建立繫統模型,適合於實時性強的嵌入式控制繫統的建模,多用於工業軟件繫統的開發,本書為Event-B的開發者Jean-Raymond Abrial關於形式化方法的著作。 1.作者是軟件和軟件理論專家,次將“B方法”繫統級的工控軟件高保障解決方案引入中國,這是目前市場上*的一本關於Event-B的中文書籍。 2.書中包含了大量具有不同難度的練習和開發項目,方便讀者對所學知識進行檢驗和實踐。 3.書中每個例子都用Rodin平臺工具集證明過,因此書本的內容十分嚴謹。 4.外文原版書是這一領域的教材書籍,由劍橋大學出版社出版,內容方面有很高的質量保障。
     

      媒體評論

    本書展示了Event-B以及用它構造程序和各種計算繫統模型的技術和方法。Event-B是一種形式化的繫統設計和建模方法,支持基於事件驅動的觀點,以逐步精化的方式構造各種(計算)繫統的模型。Event-B是B方法的擴充,具有堅實的數學基礎,支持以數學證明的方式對所建模型做嚴格的推理和驗證。




    "
     
    網友評論  我們期待著您對此商品發表評論
     
    相關商品
    在線留言 商品價格為新臺幣
    關於我們 送貨時間 安全付款 會員登入 加入會員 我的帳戶 網站聯盟
    DVD 連續劇 Copyright © 2024, Digital 了得網 Co., Ltd.
    返回頂部