>> Google Books
タイトル、所在を表示します

SPINモデル検査入門

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

類似資料:

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

中島, 震(1955-)

近代科学社
7 図書 看護に役立つ検査事典

野中, 廣志(1953-)

照林社
2 図書 経済発展と格差 : 簡単な家計モデルによる検討

中嶋, 哲也

現代図書, 星雲社 (発売)
8 図書 Body projects in Japanese childcare : culture, organization and emotions in a preschool

Ben-Ari, Eyal, 1953-

Curzon Press
3 図書 形式手法入門 : ロジックによるソフトウェア設計

中島, 震(1955-)

オーム社
9 図書 Changing Japanese suburbia : a study of two present-day localities

Ben-Ari, Eyal, 1953-

Kegan Paul International
4 図書 ランダム媒質内の波動伝搬

古津, 宏一

岩波書店
10 図書 Principles of concurrent and distributed programming

Ben-Ari, M., 1948-

Addison-Wesley
5 図書 ソフトウェア工学

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

放送大学教育振興会
11 図書 Mathematical logic for computer science

Ben-Ari, M., 1948-

Springer
6 図書 曾我物語

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

小学館
12 図書 計量経済モデル検討会報告書

農林大臣官房調査課

農林省大臣官房調査課