SPIN モデル検査：検証モデリング技法
購入済み
シリーズ
全1冊
作品情報
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。社会の様々なところにソフトウェアが組み込まれる中、従来その信頼性を確保するための手法であったテスト手法は、時間やコストなどの面で開発の現状に追いつけない状況にある。そのテスト手法に代わるものとして注目されてきているのが形式的手法による検証（モデル検査法）であり、その中の一つがSPINである。本書はSPINの基礎から実際の利用方法までを具体的に解説する日本で初めての書籍である。
- 著者
- 出版社 近代科学社
- ジャンル
- シリーズ SPIN モデル検査：検証モデリング技法
- 電子版配信開始日 2022/01/14
- ファイルサイズ 41.15 MB
作品をシェアする
同じ作者の本
-
デジタル・プラットフォーム解体新書 製造業のイノベーションに向けて
￥2,750
購入済み
-
Event-B：リファインメント・モデリングに基づく形式手法
￥4,180
購入済み
-
SPIN モデル検査：検証モデリング技法
￥4,180
購入済み
-
Bメソッドによる形式仕様記述
￥3,960
購入済み
近代科学社のおすすめ本
-
Microsoft Office 2024を使った情報リテラシーの基礎
￥2,970
購入済み
-
フルカラー完全版 世界標準MIT教科書 アルゴリズムイントロダクション第4版 総合版
￥26,400
購入済み
-
人間中心設計におけるデザイン
￥3,630
購入済み
-
増補改訂版 ベイズ最適化 適応的実験計画の基礎と実践
￥4,730
購入済み
-
ポップアップカードのすうり
￥5,500
購入済み
-
中学・高校の基本から学ぶAIの数学
￥3,630
購入済み
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 総合版
￥19,800
購入済み
-
つながるコンピュータリテラシー 情報Iの復習から活用スキルまで
￥2,200
購入済み
-
ε-δ論法と数学の基礎 『原論』の時代から20世紀まで
￥3,850
購入済み
-
最適化のための強化学習
￥3,520
購入済み
スマホ・PC・ITのおすすめ本
-
マネるだけ！ ChatGPT・Gemini・Copilotかんたん使いこなしBOOK
￥1,430
購入済み
-
世界一わかりやすいGoogleサービス 最新版
￥1,320
購入済み
-
Agentic Coding 生成AI時代のシステム開発入門
￥3,300
購入済み
-
技術記事を書く技術 ITエンジニアの価値を高めるアウトプットのすべて
￥2,970
購入済み
-
Google Pixel便利すぎる！テクニック2026（知らなかった使い方を新発見！）
￥1,320
購入済み
-
できるChatGPT 改訂2版
￥1,870
購入済み
-
ビジュアル 秒で役立つワザ満載 スマホ活用事典
￥1,100
購入済み
-
基本から応用まできちんと身につく Premiereのいろは
￥2,979
購入済み
-
PCトラブル自力解決マニュアル 2026年最新版
￥1,650
購入済み
-
Difyではじめる業務効率化！ 生成AIアプリ開発入門
￥3,564
購入済み