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

商品搜索

 类 别:
 关键字:
    

商品分类

  •  管理

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

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

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

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

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

  •  心理学

  •  古籍

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

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

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

  •  文学

  •  艺术

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

  •  文学

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

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

  •  成功/励志

  •  政治

  •  军事

  •  科普读物

  •  计算机/网络

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

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

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

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

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

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

  •  考试

  •  教材

  •  工具书

  •  中小学用书

  •  中小学教科书

  •  动漫/幽默

  •  烹饪/美食

  •  时尚/美妆

  •  旅游/地图

  •  家庭/家居

  •  亲子/家教

  •  两性关系

  •  育儿/早教

  •  保健/养生

  •  体育/运动

  •  手工/DIY

  •  休闲/爱好

  •  英文原版书

  •  港台图书

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

  •  音乐
     音乐理论

     声乐  通俗音乐  音乐欣赏  钢琴  二胡  小提琴
  • 形式化方法導論
    該商品所屬分類:研究生 -> 工學
    【市場價】
    292-424
    【優惠價】
    183-265
    【作者】 張廣泉 
    【所屬類別】 圖書  教材  研究生/本科/專科教材  工學 
    【出版社】清華大學出版社 
    【ISBN】9787302411611
    【折扣說明】一次購物滿999元台幣免運費+贈品
    一次購物滿2000元台幣95折+免運費+贈品
    一次購物滿3000元台幣92折+免運費+贈品
    一次購物滿4000元台幣88折+免運費+贈品
    【本期贈品】①優質無紡布環保袋,做工棒!②品牌簽字筆 ③品牌手帕紙巾
    版本正版全新電子版PDF檔
    您已选择: 正版全新
    溫馨提示:如果有多種選項,請先選擇再點擊加入購物車。
    *. 電子圖書價格是0.69折,例如了得網價格是100元,電子書pdf的價格則是69元。
    *. 購買電子書不支持貨到付款,購買時選擇atm或者超商、PayPal付款。付款後1-24小時內通過郵件傳輸給您。
    *. 如果收到的電子書不滿意,可以聯絡我們退款。謝謝。
    內容介紹



    開本:16開
    紙張:膠版紙
    包裝:平裝-膠訂

    是否套裝:否
    國際標準書號ISBN:9787302411611
    作者:張廣泉

    出版社:清華大學出版社
    出版時間:2015年12月 

        
        
    "
    內容簡介
    形式化方法是指有嚴格數學基礎的軟件和繫統開發方法,支持軟件與繫統的規約、設計、驗證與演化等活動。隨著軟件可信需求的不斷增長,形式化方法的重要性和關注度日益提高。全書共12章,章概述形式化方法,第2章介紹形式化方法發展早期的經典內容,其餘部分共分3篇:上篇(第3~5章)為繫統建模篇,著重介紹遷移繫統、有窮自動機、Petri網等基本計算模型;中篇(第6和第7章)為形式規約篇,著重討論時序邏輯及其在並發繫統屬性描述的應用;下篇(第8~12章)為形式驗證篇,除介紹演繹證明方法外,著重介紹驗證並發、實時及混成繫統的各種模型檢測方法及相關驗證工具。全書提供了大量應用實例,每章後均附有習題。本書適合作為高等院校計算機、軟件工程、網絡工程、信息安全、自動化等專業高年級本科生、研究生的教材,同時可供相關領域的研究人員和技術開發人員參考。
    目錄
    章緒論
    1.1形式化方法的發展歷程
    1.2形式化方法的基本內容
    1.2.1繫統建模
    1.2.2形式規約
    1.2.3形式驗證
    1.3本章小結
    習題1
    第2章程序正確性證明
    2.1前後斷言法
    2.1.1基本概念
    2.1.2證明方法
    2.1.3應用舉例
    2.2公理化方法章緒論
    1.1形式化方法的發展歷程
    1.2形式化方法的基本內容
    1.2.1繫統建模
    1.2.2形式規約
    1.2.3形式驗證
    1.3本章小結
    習題1
    第2章程序正確性證明
    2.1前後斷言法
    2.1.1基本概念
    2.1.2證明方法
    2.1.3應用舉例
    2.2公理化方法
    2.2.1基本概念
    2.2.2證明方法
    2.2.3應用舉例
    2.3 弱前置條件方法
    2.3.1基本概念
    2.3.2證明方法
    2.3.3應用舉例
    2.4本章小結
    習題2
    上篇繫統建模
    第3章遷移繫統
    3.1基本概念
    3.1.1形式定義
    3.1.2遷移圖
    3.1.3計算
    3.2應用舉例
    3.2.1時序電路
    3.2.2數據依賴繫統
    3.2.3並發和交錯
    3.3本章小結
    習題3
    第4章自動機
    4.1有窮自動機
    4.1.1有窮狀態繫統
    4.1.2形式定義
    4.1.3判定算法
    4.2Buchi自動機
    4.2.1ω—有窮自動機簡介
    4.2.2Buchi自動機
    4.2.3應用舉例
    4.3本章小結
    習題4
    第5章Petri網
    5.1庫所/變遷Petri網
    5.1.1基本概念
    5.1.2基本性質
    5.1.3分析方法
    5.1.4應用舉例
    5.2謂詞/變遷Petri網
    5.2.1基本概念
    5.2.2應用舉例
    5.3著色Petri網
    5.3.1基本概念
    5.3.2應用舉例
    5.4本章小結
    習題5
    中篇形式規約
    第6章時序邏輯
    6.1線性時序邏輯
    6.1.1LTL語法
    6.1.2LTL語義
    6.1.3應用舉例
    6.2分支時序邏輯
    6.2.1CTL語法
    6.2.2CTL語義
    6.2.3應用舉例
    6.3區間時序邏輯簡介
    6.4本章小結
    習題6
    第7章並發繫統屬性
    7.1基本概念
    7.2安全性
    7.2.1形式定義
    7.2.2形式描述
    7.2.3應用舉例
    7.3活性
    7.3.1形式定義
    7.3.2形式描述
    7.3.3應用舉例
    7.4本章小結
    習題7
    下篇形式驗證
    第8章演繹證明
    8.1演繹證明方法
    8.1.1PLTL邏輯繫統
    8.1.2Manna—Pnueli演繹規則方法
    8.1.3驗證圖方法
    8.1.4應用舉例
    8.2驗證工具STeP
    8.2.1STeP簡介
    8.2.2STeP使用
    8.3STeP應用舉例
    8.3.1建模
    8.3.2驗證
    8.4本章小結
    習題8
    第9章模型檢測
    9.1基本概念
    9.2模型檢測算法
    9.2.1CTL模型檢測算法
    9.2.2LTL模型檢測算法
    9.3模型檢測工具及應用
    9.3.1驗證工具SPIN
    9.3.2應用舉例
    9.4本章小結
    習題9
    0章符號模型檢測
    10.1二叉決策圖
    10.1.1基本概念
    10.1.2約簡方法
    10.1.3Apply操作及應用
    10.2CTL符號模型檢測
    10.2.1基本方法
    10.2.2驗證工具SMV
    10.2.3應用舉例
    10.3LTL符號模型檢測簡介
    10.4本章小結
    習題10
    1章概率模型檢測
    11.1概率模型
    11.1.1離散時間馬爾可夫鏈
    11.1.2馬爾可夫決策過程
    11.1.3連續時間馬爾可夫鏈
    11.2概率時序邏輯
    11.2.1概率計算樹邏輯
    11.2.2連續邏輯
    11.3概率模型檢測工具及應用
    11.3.1驗證工具PRISM
    11.3.2應用舉例
    11.4本章小結
    習題11
    2章實時與混成繫統驗證
    12.1時間自動機
    12.1.1語法
    12.1.2語義
    12.2實時邏輯
    12.2.1時間計算樹邏輯
    12.2.2度量區間時序邏輯
    12.3實時繫統模型檢測
    12.3.1基本方法
    12.3.2驗證工具UPPAAL
    12.3.3應用舉例
    12.4混成繫統驗證簡介
    12.4.1混成自動機
    12.4.2微分動態邏輯
    12.4.3混成繫統模型檢測
    12.5本章小結
    習題12
    參考文獻


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