うどん

電気炊飯器

ラーメン

ポテトチップス

もち

福袋

フェイスマスク

のり

ログイン/登録

日本語

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}}

キャンセル

Jingdong book

软件可靠性方法

カートを見る＆決済

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

本コンピュータとインターネットソフトウェアエンジニアリングの方法論

Jingdong book

软件可靠性方法

Name: 软件可靠性方法
Brand: Jingdong book
SKU: 3118015111
Price: 43.28 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

《软件可靠性方法》通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。
书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目，可以使用软件可靠性工具来完成。
本书适用于从事软件开发的广大读者，尤其适合作为高年级本科生和硕士生的教材和参考书。

Catalogue

出版者的话
中文版序
译者序
英文版序
前言
第1章引言
1.1 形式化方法
1.2 开发与学习形式化方法
1.3 使用形式化方法
1.4 应用形式化方法
1.5 本书概要
第2章预备知识
2.1 集合表示法
2.2 字符串和语言
2.3 图
2.4 计算复杂度和可计算性
2.5 扩展阅读
第3章逻辑和定理证明
3.1 一阶逻辑
3.2 项
3.2.1 赋值和解释
3.2.2 多个论域上的结构
3.3 一阶公式
3.4 命题逻辑
3.5 证明一阶逻辑公式
3.5.1 正向推理
3.5.2 反向推理
3.6 证明系统的属性
3.6.1 正确性
3.6.2 完备性
3.6.3 可判定性
3.6.4 结构完备性
3.7 证明命题逻辑属性
3.8 一个实用的证明系统
3.9 证明示例
3.10 机器辅助证明
3.11 机械化定理证明器
3.12 扩展阅读
第4章软件系统建模
4.1 顺序系统、并发系统及反应式系统
4.2 状态
4.3 状态空间
4.4 转换系统
4.5 转换的粒度
4.6 为程序建模的例子
4.6.1 整数除法
4.6.2 计算组合数
4.6.3 Eratosthenes筛法
4.6.4 互斥
4.7 非确定性转换
4.8 将命题变量赋给状态
4.9 合并状态空间
4.10 线性视角
4.11 分支视角
4.12 公平性
4.13 偏序视角
4.13.1 一个银行系统的例子
4.13.2 线性化和全局状态
4.13.3 一个简单的例子
4.13.4 偏序模型的应用
4.14 形式化建模
4.15 一个项目的建模
4.16 扩展阅读
第5章形式化规约
5.1 规约机制的属性
5.2 线性时序逻辑
5.3 公理化LTL
5.4 LTL规约示例
5.4.1 交通灯
5.4.2 顺序程序的属性
5.4.3 互斥
5.4.4 公平性条件
5.5 无限字上的自动机
5.6 使用Büchi自动机作为规约
5.7 确定性Büchi自动机
5.8 其他规约机制
5.9 复杂的规约
5.10 规约的完整性
5.11 扩展阅读
第6章自动验证
6.1 状态空间搜索
6.2 状态表示方法
6.3 自动机结构体系
6.4 合并Büchi自动机
6.4.1 广义Büchi自动机
6.4.2 将广义Büchi自动机转换为简单Büchi自动机
6.5 Büchi自动机求补
6.6 检验空集
6.7 模型检验范例
6.8 将LTL转换为自动机
6.9 模型检验的复杂度
6.10 表示公平性
6.11 检验LTL规约
6.12 安全属性
6.13 状态空间爆炸问题
6.14 模型检验的优点
6.15 模型检验的缺点
6.16 选择自动验证工具
6.17 模型检验项目
6.18 模型检验工具
6.19 扩展阅读
第7章演绎式软件验证
7.1 流程图程序的验证
7.2 含数组变量的验证
7.2.1 含数组变量赋值的问题
7.2.2 修改证明系统
7.3 完全正确性
7.4 公理式程序验证
7.4.1 赋值公理
7.4.2 空语句公理
7.4.3 左强化规则
7.4.4 右弱化规则
7.4.5 顺序组合规则
7.4.6 if-then-else规则
7.4.7 while规则
7.4.8 begin-end规则
7.4.9 示例：整数除法
7.5 并发程序的验证
7.6 演绎验证的优点
7.7 演绎验证的缺点
7.8 证明系统的正确性和完备性
7.9 组合性
7.10 演绎验证工具
7.11 扩展阅读
第8章进程代数与等价关系
8.1 进程代数
8.2 通信系统的演算
8.2.1 动作前缀
8.2.2 选择
8.2.3 并发组合
8.2.4 限制符
8.2.5 重标记
8.2.6 等式定义
8.2.7 agent
8.2.8 传值agent
8.3 示例：Dekker算法
8.4 建模问题
8.5 agent之间的等价性
8.5.1 迹等价
8.5.2 失败等价
8.5.3 模拟等价
8.5.4 互模拟和弱互模拟等价
8.6 等价关系的层级
8.7 用进程代数研究并发
8.8 计算互模拟等价
8.9 LOTOS
8.10 进程代数工具
8.11 扩展阅读
第9章软件测试
9.1 审查和走查
9.2 控制流覆盖准则
9.2.1 语句覆盖
9.2.2 边覆盖
9.2.3 条件覆盖
9.2.4 边/条件覆盖
9.2.5 条件组合覆盖
9.2.6 路径覆盖
9.2.7 不同覆盖准则的比较
9.2.8 循环覆盖
9.3 数据流覆盖准则
9.4 传播路径条件
9.4.1 示例：GCD程序
9.4.2 含有输入语句的路径
9.5 等价类划分
9.6 待测代码预处理
9.7 检查测试套件
9.8 组合性
9.9 黑盒测试
9.10 概率测试
9.11 测试的优点
9.12 测试的缺点
9.13 测试工具
9.14 扩展阅读
第10章组合形式化方法
10.1 抽象
10.2 组合测试与模型检验
10.2.1 直接检验
10.2.2 黑盒系统
10.2.3 组合锁自动机
10.2.4 黑盒死锁检测
10.2.5 一致性测试
10.2.6 检验重置的可靠性
10.2.7 黑盒检验
10.3 净室方法
10.3.1 验证
10.3.2 证明审查
10.3.3 测试
10.4 扩展阅读
第11章可视化
11.1 在形式化方法中运用可视化
11.2 消息序列图
11.3 可视化流程图和状态机
11.4 层次状态图
11.4.1 层次化状态
11.4.2 统一的出口和入口
11.4.3 并发
11.4.4 输入和输出
11.5 程序文本的可视化
11.6 Petri网
11.7 可视化工具
11.8 扩展阅读
结束语
参考文献191"

仕様

ブランド

Jingdong book

ブランドテリトリー

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) }}

このアイテムを友達と共有します

キャンセル

Yamiギフトカード特別価格

ギフトカードで支払えば、ギフトカード特別価格が得られます

規則説明

ギフトカード特別価格は、一部商品の特別割引オファーです；

ギフトカード特別価格の商品を購入する場合、決済時に電子ギフトカードで相殺し、ギフトカードの残高が註文したギフトカード特別価格商品の合計価格を支払うのに十分であれば、ギフトカード特別価格を適用することができます；

ギフトカードを利用しない場合、あるいはギフトカードの残高が前項に述べた要件を満たさない場合、ギフトカード特別価格を適用することができません。通常の販売価格で計算されることになり、これらの商品を購入することができます。

ギフトカード特別価格の商品を購入した場合、残高が足りない場合は、カートページまたは決済ページの「チャージ」ボタンをクリックしてギフトカードへの購入とチャージを行うことができます。

もし商品はギフトカード特別価格を持つならば、「特別」の特殊価格表記を表示します;

その他の質問や懸念がある場合は、いつでもカスタマーサービスにお問い合わせください；

Yamibuyは最終解釈権を有します。

Yamiによって販売します

サービス保証

$49以上で送料無料

返品・交換保証

アメリカから発送

配送情報

アメリカ

スタンダード配送料 $5.99 (アラスカ、ハワイを除く)、最終価格が $49 以上で送料無料

地方発送 $5.99 (カリフォルニア、ニューヨーク、ニュージャージー、マサチューセッツ、ペンシルベニア、上記州の一部地域); 最終価格が $49 以上で送料無料

2 日以内の配送 (アラスカとハワイを含む) は送料 $19.99 からです

返品・交換ポリシー

Yamiはお客様が安心して購入できるように努めています。Yamibuy.comから出荷されたほとんどの商品は、受領後30日以内に返品可能です（食品、ドリンク、スナック、乾物、健康補助食品、新鮮な食料品および生鮮食品は、損傷または品質の問題がある場合、受領後7日以内に返品可能です。すべてのお客様に安全で高品質の商品を提供するために、美容製品については、品質の問題ではない限り、開封または利用後の返金や返品は対応できません。一部の商品には異なるポリシーまたは要件がありますので、特別な商品については以下をご覧いただくか、Yamiカスタマーサービスにお問い合わせください）。
ご理解とご支持に感謝します。

利用規約の全文を見ます

Yamiによって販売します

Yamibuy 電子ギフトカードの利用規約

購入時に自動チャージを選択した場合、注文完了後にギフトカードが自動的にアカウントにチャージされます；

購入時にメール送信を選択した場合、注文完了後にシステムが自動的にカード番号とパスワードを入力したメールアドレスに送信します；

メールを送信する際、どのユーザーもメールに送られてきたカード番号とパスワードを使用してギフトカードをチャージできますので、メール情報をしっかり保管してください。

メール受信に問題がある場合は、カスタマーサービスに連絡して処理してもらってください；

メールを送信する際、ギフトカードが交換されていない場合は、メールを再発行することができます。他のユーザーにすでに交換されている場合は、補償することはできません；

Yamibuyの電子ギフトカードは、自営または第三者商品の購入に使用できます；

Yamibuyの電子ギフトカードには有効期限がなく、長期にわたって有効です；

Yamiの電子ギフトカードの金額は、複数回に分けて使用することができます；

Yamiの電子ギフトカードの業務規則の最終的な解釈権は、Yamiウェブサイトに帰属します。

返品・交換ポリシー

既に利用された電子ギフトカードは返金不可です。

販売元: JD@CHINA

Yami配送品

サービス保証

$49以上で送料無料

最高のアフターサービス

米国本土から発送

配送情報

アメリカ

スタンダード配送料 $5.99 (アラスカ、ハワイを除く)、最終価格が $49 以上で送料無料

地方発送 $5.99 (カリフォルニア、ニューヨーク、ニュージャージー、マサチューセッツ、ペンシルベニア、上記州の一部地域); 最終価格が $49 以上で送料無料

2 日以内の配送 (アラスカとハワイを含む) は送料 $19.99 からです

返品・交換ポリシー

商品到着後30日以内であれば返品が可能です。返品される商品は、購入時の請求書の原本を含む、元の梱包のまま新品である必要があります。お客様の費用負担で製品を返品してください。

JD@CHINAによって販売します

Yami-China FC

サービス保証

$以上の店舗間注文: 送料無料

30日間返品・交換保証

Yami-中国集荷倉庫

Yamiが中国から厳選し、各優秀店舗の商品をYami中国統合センターに集めて、パッケージをまとめて一度に国際郵送でお客様の住所までお届けします。店舗間で$69以上になれば、送料無料になります。複数の販売者が提供する幅広い商品から選び、店舗間送料無料か低い送料を手軽に楽しめます。

返品・交換ポリシー

30日以内の返品・交換保証を提供します。商品は未使用の元のパッケージに入れられ、購入証明書が添付される必要があります。商品の品質上の問題、間違った配送、または配送漏れなど、販売者によって引き起こされたミスについては、返金処理されます。その他の理由による返品・交換の送料はお客様ご負担となります。すべての商品は長距離を輸送するため、内部品質に影響しない簡易包装のプレスや摩耗等が発生する場合、返品・交換は致しかねます。

配送情報

Yami 中国集荷 Consolidated Shippingの送料は＄ 9.99 (＄69以上のご注文は送料無料)

中国の販売業者は、ご注文後 2 営業日以内に商品を配達します、すべての荷物は Yami 中国集荷センターに到着し (特別な状況および中国の特定法定休日を除く)、そこで荷物は混載され、 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.

Yamiポイント情報

すべての商品は、 Yamibuy.com のプロモーションまたはポイントイベントの対象外となります。

返品・交換ポリシー

Yamiアプリをダウンロードします

フィードバック

トップに戻ります

レビュー{{'('+ 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

最低でも単語一つを入力してください

キャンセル

これまでのコメントは以上です！

レビューを書きます

商品評価

コメントをお願いします

素敵なユーザーネームは、あなたのコメントをより人気のあるものにします!
ここでニックネームを変更すると、アカウントのニックネームも同じに変更されます。

商品レビューをありがとうございます。

あなたの素晴らしいレビューは私たちのコミュニティがより良いアジア商品を見つけるのに役立ちます。