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

SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN / 中島震著

資料種別:
図書
出版情報:
東京 : 近代科学社, 2008.4
形態:
xiii, 238p ; 24cm
著者名:
中島, 震(1955-) <DA13681738>  
ISBN:
9784764903531 [4764903539]
書誌ID:
BA85720861
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 SPINモデル検査入門

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

オーム社
7 図書 信頼性物理 : 物理・化学モデルに基づく信頼性検証技術

門田, 靖 (1959-), 藤本, 直伸 (1955-), 木村, 忠正

日科技連出版社
2 図書 ソフトウェア信頼性の基礎 : モデリングアプローチ

山田, 茂(1952-)

共立出版
8 図書 モデリング

日本アクチュアリー會

日本アクチュアリー会
3 図書 ソフトウェア工学から学ぶ機械学習の品質問題

中島, 震 (1955-)

丸善出版
9 図書 EMI/EMCのための数値計算モデリング技術

Archambeault, Bruce, Brench, Colin, Ramahi, Omar M., 渋谷, 昇(1947-), 高橋, 丈博, 櫻井, 秋久

三松株式会社出版事業部, 丸善株式会社出版事業部 (発売)
4 電子ブック Event-B : リファインメント・モデリングに基づく形式手法 (: electronic bk)

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

KinoDen
10 図書 レガシーコード改善ガイド : 保守開発のためのリファクタリング

Feathers, Michael C, 平澤, 章, 越智, 典子, 稲葉, 信之, 田村, 友彦, 小堀, 真義, ウルシステムズ

翔泳社
5 図書 実践ベイズモデリング : 解析技法と認知モデル

豊田, 秀樹(1961-)

朝倉書店
11 図書 モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証

二木, 厚吉(1948-)

サイエンス社
6 図書 CMOSモデリング技術 : SPICE用コンパクトモデルの理論と実践

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

丸善
12 図書 大気環境モデリング

鵜野, 伊津志(1955-), 弓本, 桂也, 板橋, 秀一(大気環境科学)

森北出版
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12