SPINモデル検査―検証モデリング技法 [単行本]
ショッピングカートに入れる

    • SPINモデル検査―検証モデリング技法 [単行本]

    • ￥4,180126 ゴールドポイント（3％還元）
    • 在庫あり2025年8月2日土曜日までにヨドバシエクストリームサービス便（無料）がお届け
SPINモデル検査―検証モデリング技法 [単行本]
100000009001013671

SPINモデル検査―検証モデリング技法 [単行本]

価格：￥4,180（税込）
ゴールドポイント：126 ゴールドポイント（3％還元）（￥126相当）
フォーマット：
お届け日：在庫あり今すぐのご注文で、2025年8月2日土曜日までにヨドバシエクストリームサービス便（無料）がお届けします。［届け先変更］詳しくはこちら
出版社：近代科学社
販売開始日： 2008/04/14
お取り扱い： のお取り扱い商品です。
ご確認事項：返品不可

カテゴリランキング

お気に入りに登録する
店舗受け取りが可能です
マルチメディアAkiba、マルチメディア梅田、マルチメディア博多にて24時間営業時間外でもお受け取りいただけるようになりました

お客様へのおすすめ【PR】

SPINモデル検査―検証モデリング技法 [単行本] の 商品概要

  • 要旨（「BOOK」データベースより）

    リソースには限界がある。技術者にとって大切なことは制約の中で目的とする記述を得る方法の習得である。本書はまさにこのようなモデリング技法について述べている。

  • 目次（「BOOK」データベースより）

    第１章　モデル検査とは―自動検証とモデル検査法
    第２章　ＳＰＩＮを使ってみよう―Ｐｒｏｍｅｌａの書き方とコマンドの使い方
    第３章　性質を表現する―正しさの基準
    第４章　対象を広げる―Ｐｒｏｍｅｌａの実行規則
    第５章　仕組みを理解する―ＳＰＩＮの検証法
    第６章　ケーススタディ・１ソフトウェアデザインを検証する―状態遷移ダイアグラムの解析
    第７章　ケーススタディ・２モデル検査を使い分ける―Ｊａｖａ並行プログラムの解析
    第８章　ケーススタディ・３組込みソフトウェアの解析に使う―システムソフトウェアへの適用
    第９章　ケーススタディ・４検査対象の大きさを適切に保つ―抽象化の方法
    第１０章　ケーススタディ・５デザイン検証の実際を知る―分散コンポーネントの振舞い検証

  • 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

    中島 震(ナカジマ シン)
    １９８１年東京大学大学院理学系研究科修士課程修了。現在、国立情報学研究所教授・総合研究大学院大学教授、学術博士（東京大学）。この間、科学技術振興機構さきがけ研究員（兼任）、北陸先端科学技術大学院大学客員教授を歴任。形式手法、自動検証、ソフトウェア・モデリングなどの研究に従事

SPINモデル検査―検証モデリング技法 [単行本] の商品スペック

商品仕様
出版社名：近代科学社
著者名：中島 震（著）
発行年月日：2008/04/30
ISBN-10：4764903539
ISBN-13：9784764903531
判型：B5
対象：専門
発行形態：単行本
内容：工学・工業総記
ページ数：238ページ
縦：24cm
横：19cm
他の近代科学社の書籍を探す

    近代科学社 SPINモデル検査―検証モデリング技法 [単行本] に関するレビューとＱ＆Ａ

    商品に関するご意見やご感想、購入者への質問をお待ちしています！