サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 図書

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証

萩谷昌己 監修,吉岡信和, 青木利晃, 田原康之 著

詳細情報

タイトル SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証
著者 萩谷昌己 監修
著者 吉岡信和, 青木利晃, 田原康之 著
著者標目 萩谷, 昌己, 1957-
著者標目 吉岡, 信和
著者標目 青木, 利晃
著者標目 田原, 康之
著者標目 本位田, 真一, 1953-
シリーズ名 トップエスイー実践講座 ; 3
出版地(国名コード) JP
出版地東京
出版社近代科学社
出版年 2008
大きさ、容量等 226p ; 24cm
注記 文献あり
ISBN 9784764903548
価格 3600円
JP番号 21489726
別タイトル Design model verification by SPIN
シリーズ著者本位田真一 監修
出版年月日等 2008.9
件名(キーワード) ソフトウェア--品質管理
Ajax-loader 関連キーワードを取得中..
NDLC M159
NDC(9版) 007.63 : 情報科学
対象利用者 一般
資料の種別 図書
言語(ISO639-2形式) jpn : 日本語

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで