SPIN モデル検査：検証モデリング技法
購入済み
あらすじ
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。社会の様々なところにソフトウェアが組み込まれる中、従来その信頼性を確保するための手法であったテスト手法は、時間やコストなどの面で開発の現状に追いつけない状況にある。そのテスト手法に代わるものとして注目されてきているのが形式的手法による検証（モデル検査法）であり、その中の一つがSPINである。本書はSPINの基礎から実際の利用方法までを具体的に解説する日本で初めての書籍である。
商品情報
- 著者
- 出版社 近代科学社
- ジャンル
- シリーズ SPIN モデル検査：検証モデリング技法
- 電子版配信開始日 2022/01/14
- ファイルサイズ 41.15 MB
シリーズ
全1冊
作品をシェアする
同じ作者の本
-
デジタル・プラットフォーム解体新書 製造業のイノベーションに向けて
￥2,750
購入済み
-
Bメソッドによる形式仕様記述
￥3,960
購入済み
-
Event-B：リファインメント・モデリングに基づく形式手法
￥4,180
購入済み
-
SPIN モデル検査：検証モデリング技法
￥4,180
購入済み
近代科学社のおすすめ本
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 第2巻 高度な設計と解析の手法・高度なデータ構造・グラフアルゴリズム
￥4,950
購入済み
-
図解 深層学習 数理で理解する基本原理
￥3,850
購入済み
-
独習 ガロア理論
￥4,290
購入済み
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 第1巻 基礎・ソートと順序統計量・データ構造・数学的基礎
￥4,950
購入済み
-
増補新訂版 よくわかるC言語 イメージと例題で理解するStep ABC
￥2,475
購入済み
-
ベイズ最適化 適応的実験計画の基礎と実践
￥4,180
購入済み
-
日本語-英語バイリンガル・ブック｜武藤博士の発明の極意 いかにしてアイデアを形にするか
￥1,980
購入済み
-
ネットコモンズ公式マニュアル｜私にもできちゃった！ NetCommonsで本格ウェブサイト 第2版
￥2,640
購入済み
-
数理物理と数理情報の基礎
￥2,420
購入済み
-
実践的プライバシーリスク評価技法 プライバシーバイデザインと個人情報影響評価
￥3,520
購入済み
スマホ・PC・ITのおすすめ本
-
はじめてのメルカリ
￥1,584
購入済み
-
先読み！サイバーセキュリティ 生成AI時代の新たなビジネスリスク
￥1,760
購入済み
-
コマンドラインの黒い画面が怖いんです。 新人エンジニアのためのコマンドが使いこなせる本
￥2,420
購入済み
-
ITエンジニア働き方超大全 就職・転職からフリーランス、起業まで
￥1,870
購入済み
-
ワン・コンピュータムック ChatGPTパーフェクトガイド
￥1,078
購入済み
-
深層学習による画像認識の基礎
￥3,960
購入済み
-
ゼロからはじめるLinuxサーバー構築・運用ガイド 第2版 動かしながら学ぶWebサーバーの作り方
￥3,080
購入済み
-
やさしく教わる Word ＆ Excel
￥2,200
購入済み
-
いちばん初めに読む教科書 よくわかる Excelマクロ＆VBA
￥2,200
購入済み
-
iPhone完全マニュアル2024(15シリーズやSEをはじめiOS 17をインストールした全機種対応)
￥1,219
購入済み