この商品をチェックした人は…

ディペンダブルシステム―高信頼システム実現のための耐故障・検証・テスト技術
ディペンダブルシステム―高信頼システム実現のための耐故障・検証・テスト技術
米田 友洋 , 土屋 達弘 , 梶原 誠司
おすすめ度: 5つ星のうち 5.0  レビューをすべて見る (2)
在庫あり
通常配送無料(一部の商品・注文方法等を除く) 詳細
¥ 3,885
内容(「BOOK」データベースより)
本書では、分散システムの耐故障化技術、形式的設計検証技術、および、テスト技術の三つのテーマについて、最近の技術をカバーしつつ、大学院レベルの教科書、あるいは、研究者の参考書として使えるように、わかりやすく解説することを目指した。  続きを読む

こんな商品もチェックしています

関連商品をストア別に表示する:
すべてのストア (3)

以下の条件にあてはまる商品を表示する:
買った商品
チェックした商品

Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座)
ソフトウェア科学基礎―最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座)
モデル検査 上級編―実践のための三つの技法 (CVS教程)
モデル検査 上級編―実践のための三つの技法 (CVS教程) 単行本 産業技術総合研究所システム検証研究センター