>> Google Books

Formal Methods and Software Engineering / Michael Butler, Michael G. Hinchey, Michael Gerard Hinchey, Takeo Kanade, María M. Larrondo-Petrie

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin Heidelberg, 2007
著者名:
ISBN:
9783540766483 [3540766480]
9783540766506 [3540766502]
書誌ID:
OB00278321
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック FM 2011: Formal Methods

Butler, Michael, Kanade, Takeo, Schulte, Wolfram

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

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Qin, Shengchao, Kanade, Takeo, Qiu, Zongyan

Springer eBooks Computer Science, Springer Berlin Heidelberg

ICFEM, Hinchey, Michael G. (Michael Gerard), 1969-, Liu, Shaoying, 1960-, IEEE Computer Society, IEEE Computer Society. …

IEEE Computer Society

Butler, Michael, Jones, Cliff, Kanade, Takeo, Romanovsky, Alexander, Troubitsyna, Elena

Springer eBooks Computer Science, Springer Berlin Heidelberg

Liu, Zhiming, He, Jifeng, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Liu, Shaoying, Araki, Keijiro, Kanade, Takeo, Maibaum, Tom

Springer eBooks Computer Science, Springer Berlin Heidelberg

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