[本]ディペンダブルシステム、数学のロジックと集合論

週末丸善で購入。

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

posted with All Consuming at 2009. 4. 8

by 米田 友洋, 土屋 達弘, 梶原 誠司
共立出版
定価： ￥ 3,885

Amazon.co.jp で詳細を見る
ブックオフオンラインでチェックする
All Consuming でブログの評判を見る
crossreview のレビューを見る

最後のほうに「テスト技術」というのがあって、そこが目当てでしたが、なかなか面白い。基本的にはソフトウェアというよりはカードとか回路とか、そういう世界の話で難しいが、少しずつ読んでいこうと思う。静的マスクはコスト高いなあ。自分が扱ってるシステムは基本動的マスクかつフェイルセーフかな。

数学のロジックと集合論

posted with All Consuming at 2009. 4. 8

by 田中 一之, 鈴木 登志雄
培風館
定価： ￥ 3,150

Amazon.co.jp で詳細を見る
ブックオフオンラインでチェックする
All Consuming でブログの評判を見る
crossreview のレビューを見る

こちらはZ言語を勉強する第1弾として、集合論を復習したかったので購入。培風館は大学の頃よく買ってましたね。本当は例題、演習を解きながら読んだほうがいいのだろうが、すっかり頭が鈍ってます。

==

[2009/04/09追記]
「数学のロジックと集合論」の正誤表・補足はこちら。