>> Google Books

Formal Methods for Components and Objects / Frank S. Boer, Marcello M. Bonsangue, Takeo Kanade, Eric Madelaine

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin Heidelberg, 2009
著者名:
ISBN:
9783642041662 [3642041663]
9783642041679 [3642041671]
書誌ID:
OB00279957
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Boer, Frank S., Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Kanade, Takeo, Roever, Willem-Paul

Springer eBooks Computer Science, Springer Berlin Heidelberg

Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Roever, W.-P. de, 1943-, FMCO

Springer

Boer, Frank S., Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Kanade, Takeo, Roever, Willem-Paul

Springer eBooks Computer Science, Springer Berlin Heidelberg

FMCO, Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Roever, W.-P. de, 1943-

Springer

Boer, Frank S., Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Kanade, Takeo, Roever, Willem-Paul

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Boer, Frank S., Bonsangue, Marcello M., Hallerstede, Stefan, Kanade, Takeo, Leuschel, Michael

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

Hutchison, David, Boer, Frank S. de, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Bonsangue, Marcello M., Hutchison, David, Johnsen, Einar Broch, Kanade, Takeo, IFIP Working Group 6.1.

Springer eBooks Computer Science, Springer Berlin Heidelberg

Giachino, Elena; de Boer, Frank S.; Bonsangue, Marcello M.

Springer eBooks Computer Science, Springer Berlin Heidelberg

Barthe, Gilles, Boer, Frank S., Boer, Frank S. de, Kanade, Takeo, IFIP Working Group 6.1.

Springer eBooks Computer Science, Springer Berlin Heidelberg

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