>> Google Books
QRコード(所蔵情報)

SPINモデル検査入門

フォーマット:
図書
責任表示:
Mordechai Ben‐Ari著 ; 谷津弘一, 野中哲, 足立太郎共訳
言語:
日本語
出版情報:
東京 : オーム社, 2010.3
形態:
xx, 241p ; 21cm
著者名:
書誌ID:
BB0158133X
ISBN:
9784274208447 [4274208443]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN

中島, 震(1955-)

近代科学社
7 図書 戦略思考で読み解く経営分析入門 : 12の重要指標をケーススタディで理解する

大津, 広一

ダイヤモンド社
2 図書 4日で学ぶモデル検査

産業技術総合研究所システム検証研究センター

エヌ・ティー・エス
8 図書 企業価値を創造する会計指標入門 : 10の代表指標をケーススタディで読み解く

大津, 広一

ダイヤモンド社
3 図書 形式手法入門 : ロジックによるソフトウェア設計

中島, 震(1955-)

オーム社
9 図書 ランダム媒質内の波動伝搬

古津, 宏一

岩波書店
4 図書 ソフトウェア工学から学ぶ機械学習の品質問題

中島, 震(1955-)

丸善出版
10 図書 曾我物語

梶原, 正昭(1927-), 大津, 雄一(1954-), 野中, 哲照(1961-)

小学館
5 図書 ソフトウェア信頼性の基礎 : モデリングアプローチ

山田, 茂(1952-)

共立出版
11 図書 ソフトウェア工学

中谷, 多哉子, 中島, 震(1955-)

放送大学教育振興会
6 図書 生活課題解決能力を育成する授業デザインの実証的研究 : 授業評価・改善に関するモデル

野中, 美津枝(1961-)

福村出版
12 図書 たたかう英文法 : 誰も言わないからオレたちが言う!

新津, 信治, 里中, 哲彦

洋泉社