漫画（まんが）・電子書籍ならコミックシーモア！
コミックシーモアをご利用の際はWebブラウザの設定でJavaScriptを有効にしてください。
→(参考)ブラウザでJavaScriptを許可する ※外部サイトへ遷移します
巻（見開き形式）について
セーフサーチ？
シーモアを楽しもう!
もっと見る
総合ランキング
全書籍から探す
3,800pt/4,180円(税込)
会員登録限定70%OFFクーポンで 1,140pt/1,254円(税込)
会員登録して70%OFFで購入
お気に入りに追加
小説・実用書
ランキング
最新刊を見る
新刊自動購入
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。社会の様々なところにソフトウェアが組み込まれる中、従来その信頼性を確保するための手法であったテスト手法は、時間やコストなどの面で開発の現状に追いつけない状況にある。そのテスト手法に代わるものとして注目されてきているのが形式的手法による検証（モデル検査法）であり、その中の一つがSPINである。本書はSPINの基礎から実際の利用方法までを具体的に解説する日本で初めての書籍である。
9784764903531
レビュー募集中！
レビュー投稿で最大1000pt!
1位
今宵は異世界探偵事務所で
2位
崎義一の優雅なる生活
3位
ホーンテッド・キャンパス
4位
婚約者の王子に毒を盛られたので愛が冷めました
5位
元戦闘用奴隷ですが、助けてくれた竜人は番だそうです。
6位
マッチング
7位
アクションポーズ大全 アクション漫画家が欲しかった魅せるポーズ5000
8位
ちいかわ お友だちとのつき合いかた
9位
竜の医師団
10位
もう二度と助けを求めないでください
11位
21世紀の金融政策 大インフレからコロナ危機までの教訓
12位
やってはいけない
13位
新・餓狼伝
14位
『あんさんぶるスターズ！THE STAGE』-10th Anniversary LIVE- パンフレット【電子版】
15位
青い瞳の花嫁
16位
2026年度版 みんなが欲しかった！ 社労士の教科書
17位
王家の話
18位
ポケット版 I SPY ミッケ！
19位
Tokyo裏バニー倶楽部
20位
祇園の秘密 血のすり替え
小説・実用書 > 小説・実用書
小説・実用書 > 中島震
小説・実用書 > 近代科学社
page top▲
巻（見開き形式）について
