>> Google Books

Formal Methods for Components and Objects / Frank S. Boer, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Takeo Kanade, Willem-Paul Roever, Willem-Paul de Roever

資料種別:
電子ブック
出版情報:
SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2007
著者名:
Boer, Frank S.
Boer, Frank S. de
Bonsangue, Marcello M.
Graf, Susanne
Kanade, Takeo
Roever, Willem-Paul
de Roever, Willem-Paul
さらに 2 件
ISBN:
9783540747918 [3540747915]
9783540747925 [3540747923]
書誌ID:
OB00494089
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック Formal Methods for Components and Objects

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

Springer eBooks Computer Science, Springer Berlin Heidelberg
7 電子ブック Formal Methods for Components and Objects

Hutchison, David, Boer, Frank S. de, Kanade, Takeo, de Boer, Frank S., de Roever, Willem-Paul, Graf, Susanne

Springer eBooks Computer Science, Springer Berlin / Heidelberg
2 電子ブック Formal Methods for Components and Objects

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

Springer eBooks Computer Science, Springer Berlin Heidelberg
8 電子ブック Formal Methods for Components and Objects

Boer, Frank S., Bonsangue, Marcello M., Kanade, Takeo, Madelaine, Eric

Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック Formal Methods for Components and Objects

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

Springer eBooks Computer Science, Springer Berlin Heidelberg
9 電子ブック Formal Methods for Components and Objects

Hutchison, David, Kanade, Takeo, Bonsangue, Marcello M., de Boer, Frank S.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Formal Methods for Components and Objects

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
10 電子ブック Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Boer, Frank S. de., Bonsangue, Marcello M., Graf, Susanne., de Roever, Willem-Paul., SpringerLink (Online service)
5 電子ブック Formal Methods for Components and Objects

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
11 電子ブック Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne., de Roever, Willem-Paul., SpringerLink (Online service)
6 電子ブック Formal Methods for Components and Objects

Hutchison, David, Boer, Frank S. de, Kanade, Takeo, de Boer, Frank S., de Roever, Willem-Paul, Graf, Susanne, Bonsangue, …

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
12 電子ブック Formal Methods for Components and Objects

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

Springer eBooks Computer Science, Springer Berlin Heidelberg
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12