ディペンダブルシステム　高信頼システム実現のための耐故障・検証・テスト技術

本書では、分散システムの耐故障化技術、形式的設計検証技術、および、テスト技術の三つのテーマについて、最近の技術をカバーしつつ、大学院レベルの教科書、あるいは、研究者の参考書として使えるように、わかりやすく解説することを目指した。

フォールトトレランス技術を体系的に、かつ実務に役立つよう心がけまとめた本格的テキスト。

目次

第１章　基礎概念（ディペンダブルなシステムとは
用語　ほか）
第２章　誤り検出とマスクによる耐故障化技術（静的マスク
動的マスク　ほか）
第３章　分散システムのフォールトトレランス（分散システムのモデル
合意問題　ほか）
第４章　形式的設計検証技術（基本概念
ＣＴＬモデル検証　ほか）
第５章　テスト技術（テストとは
故障モデル　ほか）

本の帯に関して

帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。

版・表紙について

版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。