JavaScriptが無効になっています。すべての機能を利用するにはJavaScriptの設定を有効にしてください。
JavaScriptの設定を変更する方法はこちら。
初めての方へ
続刊
クーポン
本棚
カゴ
本位田真一/萩谷昌己/吉岡信和/青木利晃/田原康之
昨今、ソフトウェアの正しさを保証するソフトウェア検証の技術が重要視されているが、その中でも特にモデル検査が脚光を浴びている。それは数理論理学などに関する知識があまりない技術者にも、ソフトウェア開発の中で利用することが可能だからであろう。本書はSPINを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説している。
この作品をシェアする
クーポン利用で【70%OFF】1,960円(税込)で購入できる! 6回利用可能
値引き額上限に達しています。
2024/05/31 23:59 まで有効