---

ディペンダブルシステム―高信頼システム実現のための耐故障・検証・テスト技術
共立出版 共立出版
￥ 3,885

4日で学ぶモデル検査 (初級編) (CVS教程 (1))
SPINモデル検査―検証モデリング技法
The Spin Model Checker: Primer and Reference Manual
Concurrency: State Models & Java Programs
プログラム仕様記述論 (IT Text)

---

■良い本ですよ　評価5　日付2007-04-18
分散システムに関する書籍はあまりありませんので，数少ない分散システムの基本的な本です．
タネンバウムなどの書籍は，幅広く描かれていますが，もう少し信頼性にフォーカスして深く書かれている本です．

個人的な意見ですが，この本よりも深く知りたい場合は，
日本語書籍としては無いのではないかと考えます．
中身に関しても，難しい内容の割には読みやすく仕上がっており，
読んでいてパニックになるような記述は少ないと思います．

分散システムの基本的な考え方やアルゴリズムを学びたい人には良い本でありますが，
分散システムのソフトウェアに興味がある人にとっては，あまり有益ではないかもしれません．
（少し分かりにくい書き方で申し訳ありませんが．．．）

---

⇒　もっと詳しく調べる

---