- 価格(税込):4,180円
- Vポイント:19pt
-
通常
1~3日で発送
在庫確認の結果、調達が出来ない場合がございます。
発送の目安について
この商品の説明
著者/アーティスト
著者: 中島震
目次
第1章 モデル検査とは―自動検証とモデル検査法;第2章 SPINを使ってみよう―Promelaの書き方とコマンドの使い方;第3章 性質を表現する―正しさの基準;第4章 対象を広げる―Promelaの実行規則;第5章 仕組みを理解する―SPINの検証法;第6章 ケーススタディ・1ソフトウェアデザインを検証する―状態遷移ダイアグラムの解析;第7章 ケーススタディ・2モデル検査を使い分ける―Java並行プログラムの解析;第8章 ケーススタディ・3組込みソフトウェアの解析に使う―システムソフトウェアへの適用;第9章 ケーススタディ・4検査対象の大きさを適切に保つ―抽象化の方法;第10章 ケーススタディ・5デザイン検証の実際を知る―分散コンポーネントの振舞い検証
商品仕様
- アイテム名:書籍
- ページ数:238p
- 大きさ:24×19cm
- 出版社:近代科学社
- ISBN-10:4764903539
- ISBN-13:9784764903531
【お届けの際のご注意】
▼発送時期について
BOOK予約商品のお届けにつきましては直送・店舗受取りにかかわらず、弊社倉庫に届き次第、発送手配を行います。
また、原則として、発売日に弊社の倉庫に到着するため一般の書店よりも数日お届けが遅れる場合がございます。
なお、書籍と書籍以外の商品(DVD、CD、ゲーム、GOODSなど)を併せてご購入の場合、商品のお届けに時間がかかる場合があります。あらかじめご了承ください。
▼本・コミックの価格表示について
本サイト上で表示されている商品の価格(以下「表示価格」といいます)は、本サイト上で当該商品の表示を開始した時点の価格となります。
この価格は、売買契約成立時までに変動する可能性があります。
利用者が実際に商品を購入するために支払う金額は、ご利用されるサービスに応じて異なりますので、
詳しくはオンラインショッピングサービス利用規約をご確認ください。
なお、価格変動による補填、値引き等は一切行っておりません。
■オンラインショッピングサービス利用規約
(1) 宅配サービス:第2章【宅配サービス】第6条において定めます。
(2) TOLピックアップサービス:第3章【TOLピックアップサービス】第12条において定めます。
【サイト表記の書籍カバーについて】
書籍のカバーは、期間限定で変更する場合がございます。
そのためサイト上で表記されたものとお届けした作品のカバーが異なる場合がございます。
カバー違いによる交換は行っておりません。