『9784764903722』の電子書籍一覧
1 ~1件目/全1件
-
オープンソースの広がりにより、多様な機能を実現することは以前と比較すると驚くばかりに容易になっている。しかし、このような開発法ではスケーラビリティと高信頼性を同時に保証することはできない。機能の実現や追加が比較的安易にできる時代になったからこそ、成長し続けるシステム全体の正常な動作を保証しうる開発検査手法の必要性が増している。 本書では、優れた開発者として最先端の理論やツールと使ってソフトウェア開発をするために必要な基礎知識である、論理学、並行システム、オートマトン、モデル検査のアルゴリズムや実装技術、モデル検証ツールをまとめて解説する。
・キャンペーンの内容や期間は予告なく変更する場合があります。
・コインUP表示がある場合、ご購入時に付与されるキャンペーン分のコインは期間限定コインです。詳しくはこちら
・決済時に商品の合計税抜金額に対して課税するため、作品詳細ページの表示価格と差が生じる場合がございます。