亞太傳統月

防曬

一人食

養生指南

薯片

拉麵

電飯煲

登入/註冊

繁體中文

English 简体中文繁體中文 한국어 日本語

{{sellerTotalView > 1 ? __("sellers", {number: sellerTotalView}) : __("seller", {number: sellerTotalView}) }}, {{numTotalView > 1 ? __("items", {number: numTotalView}) : __("item", {number: numTotalView}) }}

去購物車結算

Nickname

請告訴我們怎麼更好地稱呼你

更新你的名字

xxxxxxx@yamibuy.com

賬戶訂單收藏

積分 0

優惠券 0

禮品卡餘額 $0.00

退出登入

切換配送區域

不同區域的庫存和配送時效可能存在差異。

歷史郵編

我們將在商品到貨後第一時間通知你。

商品到貨後將發送通知至： {{remindEmail}}

取消

京東圖書

软件工程形式化方法与语言

去購物車結算

{{buttonTypePin == 3 ? __("Scan to view more PinGo") : __("Scan to start")}}

圖書電腦與網際網路軟體工程及軟體方法學

京東圖書

软件工程形式化方法与语言

Name: 软件工程形式化方法与语言
Brand: 京東圖書
SKU: 3118041681
Price: 20.02 USD
Availability: OutOfStock

{{__(":people-members", {'people': item.limit_people_count})}} {{ itemCurrency }}{{ item.valid_price }} {{ itemCurrency }}{{ item.invalid_price }} {{ itemDiscount }}

後結束

{{ itemCurrency }}{{ priceFormat(item.valid_price / item.bundle_specification) }}/{{ item.unit }}

{{ itemCurrency }}{{ item.valid_price }} {{ itemCurrency }}{{ priceFormat(item.valid_price / item.bundle_specification) }}/{{ item.unit }} {{ itemCurrency }}{{ item.invalid_price }} {{itemDiscount}}

後結束促銷

後開始秒殺後結束秒殺

{{ __( "Pay with Gift Card to get sale price: :itemCurrency:price", { 'itemCurrency' : itemCurrency, 'price' : (item.giftcard_price ? priceFormat(item.giftcard_price) : '0.00') } ) }} ({{ itemCurrency }}{{ priceFormat(item.giftcard_price / item.bundle_specification) }}/{{ item.unit }}) 詳情

商品有效期

已下架

我們不知道該商品何時或是否會重新有庫存。

當前地址無法配送

已售完

商品描述

展開全部描述

Content Description

《软件工程形式化方法与语言》选取并介绍了三种代表性的形式化方法，它们分别是以集合论和一阶谓词演算为基础的Z语言，以时态逻辑为基础的XYZ，还有以直觉数学学派为基础的类型理论。
《软件工程形式化方法与语言》既可以作为计算机专业的研究生的形式化课程教材，又可以用作专业人员的参考书。虽然真正从事形式化方面的工作的人员不多，但是有必要通过对该课程的学习，使学生在理论、技术和方法上都得到了系统而有效的训练，有利于提高软件人员的素质和能力。

Catalogue

第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 通信

規格參數

品牌

京東圖書

品牌屬地

China

免責聲明

產品價格、包裝、規格等資訊如有調整，恕不另行通知。我們盡量做到及時更新產品資訊，但請以收到實物為準。使用產品前，請始終閱讀產品隨附的標籤、警告及說明。

查看詳情

加入收藏

{{ $isZh ? coupon.coupon_name_sub : coupon.coupon_ename_sub | formatCurrency }}

詳情

數量

{{buttonTypePin == 3 ? __("Scan to view more PinGo") : __("Scan to start")}}

由 JD@CHINA 銷售

送至

滿69免運費

正品保證

查看詳情

地區

已加入購物車

繼續逛逛

為你推薦

優惠券

領取已領取已領完

即將過期： {{ formatTime(coupon.use_end_time) }}

分享給好友

取消

亞米禮卡專享價

使用禮卡支付即可獲得禮卡專享價

規則說明

禮卡專享價是部分商品擁有的特殊優惠價格；

購買禮卡專享價商品時，若在結算時使用電子禮卡抵扣支付，且禮卡餘額足夠支付訂單中所有禮卡專享價商品的專享價總和，則可以啟用禮卡專享價；

不使用禮卡支付，或禮卡餘額不滿足上一條所述要求時，將無法啟用禮卡專享價，按照普通售價計算，但您仍然可以購買這些商品；

在購買禮卡專享價商品時，若餘額不足，可以在購物車或結算頁中點擊“充值”按鈕對禮卡進行購買和充值；

商品若擁有禮卡專享價，會顯示“專享”的特殊價格標記；

如有疑問，請隨時聯繫客服；

禮卡專享價相關規則最終解釋權歸亞米所有。

由亞米銷售

服務保障

滿$49免運費

無憂退換

從美國出貨

配送資訊

美國

標準配送 $5.99（不含阿拉斯加，夏威夷），最終價滿$49免運費

本地配送$5.99(加州，紐約州，新澤西，麻省和賓夕法尼亞，以上州部分地區);最終價滿$49免運費

兩日達（含阿拉斯加夏威夷）運費19.99美元起

退換政策

亞米網希望為我們的客戶提供最優秀的售後服務，讓所有人都能放心在亞米購物。亞米自營商品在滿足退換貨條件的情況下，可在收到包裹的30天之內退換商品（食品因商品質量問題7天內可退換；為了確保每位客戶都能獲得安全和高質量的商品，對於美妝類產品，一經開封或使用即不提供退款或退貨服務，質量問題除外；其他特殊商品需聯繫客服諮詢）。
感謝您的理解和支持。

查看詳情

由亞米銷售

亞米電子禮品卡使用規則

若購買時選擇自動儲值，訂單完成後禮品卡將自動儲值至您的帳戶；

若購買時選擇發送郵件，訂單完成後系統將自動發送卡號和密碼到您填寫的郵箱；

寄送郵件時，任何使用者均可使用郵件中的卡號密碼進行禮卡儲值，請妥善保管郵件資訊。

如接收郵件遇到問題，請聯絡客服處理；

發送郵件時，若禮卡沒有被兌換，可以補發郵件。若已經被其他用戶兌換，無法補償；

亞米網電子禮卡可用於購買自營或第三方商品；

亞米網電子禮卡沒有有效期限限制，長期有效；

亞米網電子禮卡的金額，可分多次使用；

亞米網電子禮卡業務規則，最終解釋權歸亞米網所有。

退換政策

已消費的電子禮卡不支持退款。

由 JD@CHINA 銷售

亞米發貨

服務保障

滿$49免運費

最優售後

美國本土出貨

配送資訊

美國

標準配送 $5.99（不含阿拉斯加，夏威夷），最終價滿$49免運費

本地配送$5.99(加州，紐約州，新澤西，麻省和賓夕法尼亞，以上州部分地區);最終價滿$49免運費

兩日達（含阿拉斯加夏威夷）運費19.99美元起

退換政策

提供30天內退還保障。產品需全新未使用原包裝內，並附有購買憑證。產品品質問題、或錯發漏發等,由商家造成的失誤，將進行補發,或退款處理。其它原因需退貨費用由客戶自行承擔。

由 JD@CHINA 銷售

Yami-China FC

服務保障

跨店滿$69免運費

30天退換保障

亞米-中國集運倉

由亞米從中國精選並集合各大優秀店舖的商品至亞米中國整合中心，合併包裹後將一次合包跨國郵寄至您的地址。跨店包郵門檻低至$69。您將在多商家集合提供的廣泛選購商品中選購商品，輕鬆享有跨店鋪包郵後的低郵資。

退換政策

提供30天內退換保障。產品需在全新未使用的原包裝內，並附有購買憑證。產品品質問題、錯發、或漏發等商家造成的失誤，將進行退款處理。其它原因造成的退換貨郵費客戶將需要自行承擔。由於所有商品均長途跋涉，偶有簡易外包壓磨等但不涉及內部品質問題者，不予退換。

配送資訊

亞米中國集運 Consolidated Shipping 運費$9.99（訂單滿$69 包郵）

下單後2個工作天中國商家出貨，所有包裹抵達亞米中國整合中心（除特別情況及中國境內個別法定假日外）會合併包裹後透過UPS發往美國。 UPS從中國出貨後到美國境內的平均時間為10個工作天左右，可隨時根據直發單號追蹤查詢。受疫情影響，目前物流可能延遲5天左右。包裹需要客人簽收。如未簽收，客人須承擔包裹遺失風險。

由 JD@CHINA 銷售

服務保障

滿69免運費

正品保證

配送資訊

Yami Consolidated Shipping 運費$9.99（訂單滿$69包郵）

Seller will ship the orders within 1-2 business days. The logistics time limit is expected to be 7-15 working days. In case of customs clearance, the delivery time will be extended by 3-7 days. The final receipt date is subject to the information of the postal company.

積分規則

不參加任何折扣活動以及亞米會員積分制度。

退換政策

下載亞米應用

意見反饋

返回頂部

評論{{'('+ commentList.posts_count + ')'}}

分享您的感受，幫助更多用戶做出選擇。

撰寫評論

{{i}}星

{{i}} 星

{{ parseInt(commentRatingList[i]) }}%

{{ showTranslate(comment) }}收起

{{ strLimit(comment,800) }}查看全部

Show Original

{{ formatTime(comment.in_dtm) }} 已購買 {{groupData}}

{{ comment.likes_count }} {{ comment.likes_count }} {{ comment.reply_count }} {{comment.in_user==uid ? __('Delete') : __('Report')}}

{{ showTranslate(comment) }}收起

{{ strLimit(comment,800) }}查看全部

Show Original

{{ formatTime(comment.in_dtm) }} 已購買 {{groupData}}

{{ comment.likes_count }} {{ comment.likes_count }} {{ comment.reply_count }} {{comment.in_user==uid ? __('Delete') : __('Report')}}

暫無符合條件的評論~

更多評論

評論詳情

{{ showTranslate(commentDetails) }}收起

{{ strLimit(commentDetails,800) }}查看全部

Show Original

{{ formatTime(commentDetails.in_dtm) }} 已購買 {{groupData}}

請輸入內容

回覆{{'(' + replyList.length + ')'}}

{{ reply.reply_user_name }}回覆{{ reply.parent_user_name }}

{{ showTranslate(reply) }}收起

{{ strLimit(reply,800) }}查看全部

Show Original

請輸入內容

取消

這是到目前為止的所有評論！

發表評論

商品評分

請輸入評論

一個好的暱稱，會讓你的評論更受歡迎！
修改了這裡的暱稱，個人資料中的暱稱也將被修改。

感謝你的評論

你的好評可以幫助我們的社區發現更好的亞洲商品。