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

SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN

フォーマット:
図書
責任表示:
中島震著
言語:
日本語
出版情報:
東京 : 近代科学社, 2008.4
形態:
xiii, 238p ; 24cm
著者名:
中島, 震(1955-) <DA13681738>  
書誌ID:
BA85720861
ISBN:
9784764903531 [4764903539]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料
1. SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN (: electronic bk)
中島震著 , 近代科学社 , 2008

類似資料:

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

中島, 震(1955-)

近代科学社
7 図書 ソフトウェア信頼性の基礎 : モデリングアプローチ

山田, 茂(1952-)

共立出版
2 電子ブック Event-B : リファインメント・モデリングに基づく形式手法

中島, 震(1955-), 來間, 啓伸

近代科学社
8 図書 ソフトウェア設計論 : 役に立つUMLモデリングへ向けて

松浦, 佐江子

コロナ社
3 電子ブック ＳＰＩＮによる設計モデル検証 : モデル検査の実践ソフトウェア検証

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

近代科学社
9 図書 ソフトウェア工学から学ぶ機械学習の品質問題

中島, 震(1955-)

丸善出版
4 図書 SPINモデル検査入門

Ben-Ari, M., 1948-, 谷津, 弘一, 野中, 哲, 足立, 太郎, 中島, 震(1955-)

オーム社
10 図書 実践ベイズモデリング : 解析技法と認知モデル

豊田, 秀樹(1961-)

朝倉書店
5 電子ブック UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証

大須賀 昭彦, 長谷川 哲夫, 田原 康之, 磯部 祥尚

近代科学社
11 図書 抽象によるソフトウェア設計 : Alloyではじめる形式手法

Jackson, Daniel, 今井, 健男, 酒井, 政裕, 遠藤, 侑介, 片岡, 欣夫, 中島, 震(1955-)

オーム社
6 電子ブック Ｂメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証

来間 啓伸, 中島 震

近代科学社
12 図書 CMOSモデリング技術 : SPICE用コンパクトモデルの理論と実践

青木, 均, 嶌末, 政憲, 川原, 康雄

丸善