試験公開中

このエントリーをはてなブックマークに追加

SPINモデル検査:検証モデリング技法

近代科学社

3,800円+税

従来その信頼性を確保するための手法であったテスト手法は、時間やコストなどの面で開発の現状に追いつけない状況にある。そのテスト手法に代わるものとして注目されてきているのが形式的手法による検証(モデル検査法)であり、その中の一つがSPINである。本書はSPINの基礎から実際の利用方法までを具体的に解説する日本で初めての書籍である。

【注意】本書のEPUB版は固定レイアウト型になっております。文字の大きさの変更や検索、引用などはお使いいただけません。画面の大きい端末でご利用ください。

リンク用タグ生成

ブログ等に掲載するためのリンク用タグです。それぞれの使い方に応じて貼り付けてください。

※出力するタグは変更することがあります。
※書籍詳細用のタグはamazletに準拠しています。
※アフィリエイト等は今のところついておりません。ご了承ください。

書籍詳細用

中島 震
近代科学社
発行日: 2016-11-01
対応フォーマット: PDF, EPUB

テキストリンク用

SPINモデル検査:検証モデリング技法

画像リンク用

SPINモデル検査:検証モデリング技法

Home 書籍一覧 SPINモデル検査:検証モデリング技法 ▲ ページトップへ戻る