>> Google Books

Formal Methods and Software Engineering / Shaoying Liu, Keijiro Araki, Takeo Kanade, Tom Maibaum

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin Heidelberg, 2008
著者名:
ISBN:
9783540881933 [354088193X]
9783540881940 [3540881948]
書誌ID:
OB00279627
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Liu, Zhiming, He, Jifeng, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Qin, Shengchao, Kanade, Takeo, Qiu, Zongyan

Springer eBooks Computer Science, Springer Berlin Heidelberg

2 電子ブック FM 2008: Formal Methods

Cuellar, Jorge, Kanade, Takeo, Maibaum, Thomas S. E., Maibaum, Tom, Sere, Kaisa

Springer eBooks Computer Science, Springer Berlin Heidelberg

Barthe, Gilles, Kanade, Takeo, Pardo, Alberto, Schneider, Gerardo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

International Conference on Formal Engineering Methods, Banach, Richard, Kanade, Takeo, Lau, Kung-Kiu

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Liu, Zhiming, Araki, Keijiro, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Breitman, Karin, Cavalcanti, Ana, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Dong, Jin Song, Kanade, Takeo, Zhu, Huibiao

Springer eBooks Computer Science, Springer Berlin Heidelberg

Bernardo, Marco, Issarny, Valérie, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

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