SPINによる設計モデル検証

作家/出演者

シリーズ

SPINによる設計モデル検証

平均評価: レビューを書く

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。

昨今、ソフトウェアの正しさを保証するソフトウェア検証の技術が重要視されているが、その中でも特にモデル検査が脚光を浴びている。それは数理論理学などに関する知識があまりない技術者にも、ソフトウェア開発の中で利用することが可能だからであろう。本書はSPINを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説している。

価格
3,960円

[参考価格] 紙書籍3,960円

読める期間: 無期限

購入手続きへ

バスケットを見る

クレジットカード決済なら: 39pt獲得

Windows
Mac
スマートフォンタブレット
ブラウザで読める

動作環境、ビューアのインストールはこちらから

お気に入りに追加

配信開始日: 2018/04/21 00:00

紙書籍販売日: 2008/09/30

ページ数: 252ページ

掲載誌・レーベル

----

出版社

近代科学社

ジャンル

ファイル容量: 51.20MB

ファイル形式: EPUB形式

新着通知設定

新着通知管理

この作品の続刊、作家の新刊が配信された際に、メールでお知らせいたします。

作品: ON OFF

作家: ON OFF

ソースコードにアフィリエイトIDを追加する（任意）

アフィリエイトIDをお持ちの方は、ソースコードにIDを追加することができます。
アフィリエイトについて
サイズを選択する

サイズを選択し、表示されたソースコードをコピーして貼り付けてください。
ソースコードの変更はできません。

120×240

SPINによる設計モデル検証無料サンプル

150×250

SPINによる設計モデル検証無料サンプル

<iframe width="120" height="240" src="http://book.vntkg.com/book/blog-parts/?product_id=k386akind00012&size=120_240" scrolling="no" frameborder="0" allowfullscreen></iframe>

<iframe width="150" height="250" src="http://book.vntkg.com/book/blog-parts/?product_id=k386akind00012&size=150_250" scrolling="no" frameborder="0" allowfullscreen></iframe>

コンピュータ科学とプログラミング入門:コ...

VDM＋＋による形式仕様記述