内容（「BOOK」データベースより）
本書では、分散システムの耐故障化技術、形式的設計検証技術、および、テスト技術の三つのテーマについて、最近の技術をカバーしつつ、大学院レベルの教科書、あるいは、研究者の参考書として使えるように、わかりやすく解説することを目指した。
内容（「MARC」データベースより）
ディペンダブルシステムあるいはフォールトトレラントシステムについて、分散システムの耐故障化技術、形式的設計検証技術、テスト技術の3つのテーマを掲げ、体系的かつ実務に役立つよう心がけまとめたテキスト。
著者略歴 (「BOOK著者紹介情報」より)
米田 友洋
1985年東京工業大学大学院理工学研究科博士課程修了。東京工業大学助手、同助教授を経て、国立情報学研究所教授。総合研究大学院大学教授。東京工業大学連携教授。工学博士
梶原 誠司
1992年大阪大学大学院工学研究科博士後期課程修了。大阪大学工学部助手、九州工業大学情報工学部助教授を経て、九州工業大学情報工学部教授。博士(工学)
土屋 達弘
1995年大阪大学大学院基礎工学研究科博士前期課程修了。大阪大学大学院基礎工学研究科助手、同講師を経て、大阪大学大学院情報科学研究科助教授。博士(工学)(本データはこの書籍が刊行された当時に掲載されていたものです)
1985年東京工業大学大学院理工学研究科博士課程修了。東京工業大学助手、同助教授を経て、国立情報学研究所教授。総合研究大学院大学教授。東京工業大学連携教授。工学博士
梶原 誠司
1992年大阪大学大学院工学研究科博士後期課程修了。大阪大学工学部助手、九州工業大学情報工学部助教授を経て、九州工業大学情報工学部教授。博士(工学)
土屋 達弘
1995年大阪大学大学院基礎工学研究科博士前期課程修了。大阪大学大学院基礎工学研究科助手、同講師を経て、大阪大学大学院情報科学研究科助教授。博士(工学)(本データはこの書籍が刊行された当時に掲載されていたものです)
