JavaScriptが無効になっています。すべての機能を利用するにはJavaScriptの設定を有効にしてください。
JavaScriptの設定を変更する方法はこちら。
初めての方へ
続刊
クーポン
本棚
カゴ
本位田真一/中島震/来間啓伸
仕様の段階で誤りをなくす注目の手法「Bメソッド」を実践活用するための解説書。安心安全を含めてますます高度な機能や性能が要求されるソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う形式手法に対する関心と期待が高まっている。本書は、我が国初のBメソッドの書き下ろし入門書である。実際の開発への適用を意識した実用指向の内容が、平明でわかりやすく記述されている。
この作品をシェアする
クーポン利用で【70%OFF】1,960円(税込)で購入できる! 6回利用可能
値引き額上限に達しています。
2024/07/31 23:59 まで有効