>> Google Books

25 Years of Model Checking / Orna Grumberg, Takeo Kanade, Helmut Veith

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin Heidelberg, 2008
著者名:
ISBN:
9783540698494 [3540698493]
9783540698500 [3540698507]
書誌ID:
OB00278613
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック Model Checking Software

Valmari, Antti, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

7 電子ブック Model Checking Software

Havelund, Klaus, Kanade, Takeo, Majumdar, Rupak, Palsberg, Jens

Springer eBooks Computer Science, Springer Berlin Heidelberg

2 電子ブック Model Checking Software

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Barthe, Gilles, Hermenegildo, Manuel, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

3 電子ブック Model Checking Software

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Barner, Sharon, Harris, Ian, Kanade, Takeo, Kroening, Daniel, Raz, Orna

Springer eBooks Computer Science, Springer Berlin Heidelberg

4 電子ブック Model Checking Software

International SPIN Workshop, Godefroid, Patrice, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

5 電子ブック Model Checking Software

Pol, Jaco, Kanade, Takeo, Weber, Michael

Springer eBooks Computer Science, Springer Berlin Heidelberg

Grumberg, Orna, Kaminski, Michael, Kanade, Takeo, Katz, Shmuel, Wintner, Shuly

Springer eBooks Computer Science, Springer Berlin Heidelberg

6 電子ブック Model Checking Software

Groce, Alex, Kanade, Takeo, Musuvathi, Madanlal

Springer eBooks Computer Science, Springer Berlin Heidelberg

12 電子ブック Conceptual Modeling

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12