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

商品搜索

 类 别:
 关键字:
    

商品分类

  •  管理

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

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

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

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

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

  •  心理学

  •  古籍

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

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

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

  •  文学

  •  艺术

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

  •  文学

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

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

  •  成功/励志

  •  政治

  •  军事

  •  科普读物

  •  计算机/网络

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

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

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

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

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

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

  •  考试

  •  教材

  •  工具书

  •  中小学用书

  •  中小学教科书

  •  动漫/幽默

  •  烹饪/美食

  •  时尚/美妆

  •  旅游/地图

  •  家庭/家居

  •  亲子/家教

  •  两性关系

  •  育儿/早教

  •  保健/养生

  •  体育/运动

  •  手工/DIY

  •  休闲/爱好

  •  英文原版书

  •  港台图书

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

  •  音乐
     音乐理论

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



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

    是否套裝:否
    國際標準書號ISBN:9787308066679
    作者:李瑩,吳江琴編著

    出版社:浙江大學出版社
    出版時間:2010年03月 

        
        
    "

    內容簡介
    本書選取並介紹了三種代表性的形式化方法,它們分別是以集合論和一階謂詞演算為基礎的Z語言,以時態邏輯為基礎的XYZ,還有以直覺數學學派為基礎的類型理論。
    本書既可以作為計算機專業的研究生的形式化課程教材,又可以用作專業人員的參考書。雖然真正從事形式化方面的工作的人員不多,但是有必要通過對該課程的學習,使學生在理論、技術和方法上都得到了繫統而有效的訓練,有利於提高軟件人員的素質和能力。
    目錄
    第1章 引論
    1.1 軟件工程
    1.2 軟件生存期
    1.3 早期工作的重要性
    1.4 規格說明及其形式化
    1.5 一些重要的形式化規格說明語言
    1.6 關於本書使用的Z語言
    第2章 命題邏輯
    2.1 命題
    2.2 合取
    2.3 析取
    2.4 蘊含
    2.5 等價
    2.6 否定第1章 引論
    1.1 軟件工程
    1.2 軟件生存期
    1.3 早期工作的重要性
    1.4 規格說明及其形式化
    1.5 一些重要的形式化規格說明語言
    1.6 關於本書使用的Z語言
    第2章 命題邏輯
    2.1 命題
    2.2 合取
    2.3 析取
    2.4 蘊含
    2.5 等價
    2.6 否定
    2.7 永真式與矛盾式
    第3章 謂詞邏輯
    3.1 謂詞演算
    3.2 量詞與作用域
    3.3 代換
    3.4 全稱量詞的引入與消去
    3.5 存在量詞的引入與消去
    第4章 相等與確定性的描述
    4.1 相等性
    4.2 一點規則
    4.3 數量概念的表達與量詞
    4.4 對像的確定性描述
    第5章 集合
    5.1 集合及其定義方法
    5.1.1 集合的枚舉定義法
    5.1.2 集合理解定義一利用謂詞定義集合
    5.2 冪集
    5.3 笛卡兒積
    5.4 並集、交集和差集
    5.5 類型
    第6章 對像的定義
    6.1 聲明
    6.2 省略法定義
    6.3 公理定義
    6.4 類屬定義
    第7章 關繫
    7.1 聲明
    7.2 定義域和值域
    7.3 關繫上的操作
    7.3.1 限制與縮減
    7.3.2 關繫求逆
    7.3.3 關繫的復合
    7.3.4 關繫的閉包
    7.3.5 關繫的映像(image)
    第8章 函數
    8.1 偏函數和全函數
    8.2 函數的λ表示法
    8.3 內射、滿射與雙射
    8.4 有限函數
    8.5 函數性質小結
    8.6 函數上的操作
    第9章 序列
    9.1 序列的有關概念
    9.2 序列的形式化定義
    9.3 序列上的操作
    9.4 序列上的函數
    9.5 結構歸納法
    9.6 袋
    第10章 遞歸定義的類型
    10.1 從自然數的定義談起
    10.2 遞歸定義的類型
    10.3 原始遞歸
    第11章 構型(schema)與規格說明的結構化
    11.1 構型的表示記號
    11.2 一個應用例子的非形式描述
    11.3 描述抽像狀態的構型
    11.4 描述操作的構型
    11.5 作為聲明使用的構型
    11.6 作為謂詞使用的構型
    11.7 重命名
    11.8 類屬構型
    11.9 構型演算
    11.9.1 構型的包含
    11.9.2 構型的修飾
    11.9.3 構型的析取運算
    11.9.4 構型的合取運算
    11.9.5 構型的否定運算
    11.9.6 構型的隱藏運算
    11.9.7 構型的復合運算
    11.9.8 構型的前置條件
    11.10 規格說明的提升方法
    11.10.1 幾個操作分解的簡單例子
    第12章 一個規格說明的實例——文件繫統
    12.1 非形式的描述——程序設計接口
    12.2 文件上的操作的形式描述
    12.3 文件繫統的形式化規格說明
    12.4 形式化分析與推理
    第13章 數據求精理論
    13.1 什麼是求精
    13.2 關繫的求精
    13.3 關繫求精的進一步討論
    13.4 相同狀態上的操作的求精
    13.5 數據類型與數據求精
    13.6 模擬關繫與數據求精
    13.7 模擬條件的寬松與解開
    第14章 操作求精
    14.1 關繫與操作構型
    14.2 向前模擬
    14.3 向後模擬
    第15章 類型理論
    15.1 預備知識
    15.1.1 命題和集合
    15.1.2 表達式理論
    15.1.3 Martin-Lof類型理論
    15.2 多型集合
    15.2.1 基本規則
    15.2.2 集合族的笛氏積和不交和
    15.2.3 兩個集合的笛氏積和不交和
    15.2.4 各種集合
    15.2.5 相等性集合
    15.2.6 小集合之集合
    15.2.7 良序
    15.2.8 一般樹
    15.3 子集合
    15.3.1 子集合一般理論
    15.3.2
    15.4 單型集合
    15.4.1 類型
    15.4.2 類型對集合的定義
    第16章 時序邏輯
    16.1 XYZ繫統簡介
    16.2 時序邏輯語言XYZ/E的基礎部分
    16.2.1 基本概念
    16.2.2 狀態轉
    16.2.3 三種不同形式的控制結構
    16.2.4 Horn子句語言XYZ/PE0
    16.2.5 指針
    16.3 時序邏輯語言XYZ/E的基層模塊
    16.3.1 程序框架
    16.3.2 過程與函數
    16.3.3 包塊
    16.4 時序邏輯語言XYZ/E的並發成分
    16.4.1 進程與並行語句
    16.4.2 通信


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