試験公開中

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

SPINによる設計モデル検証:モデル検査の実践ソフトウェア検証(トップエスイー実践講座3)

近代科学社

3,600円+税

本書はSPINを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説している。

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

リンク用タグ生成

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

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

書籍詳細用

本位田 真一, 萩谷 昌己(監修), 吉岡 信和, 青木 利晃, 田原 康之(著)
近代科学社
発行日: 2018-03-23
対応フォーマット: PDF, EPUB

テキストリンク用

SPINによる設計モデル検証:モデル検査の実践ソフトウェア検証(トップエスイー実践講座3)

画像リンク用

SPINによる設計モデル検証:モデル検査の実践ソフトウェア検証(トップエスイー実践講座3)

Home 書籍一覧 SPINによる設計モデル検証:モデル検査の実践ソフトウェア検証(トップエスイー実践講座3) ▲ ページトップへ戻る