>> Google Books
所蔵情報QRコード

Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, revised lectures / Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2006
形態:
viii, 427 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 4111 <BA00009279>
著者名:
ISBN:
9783540367499 [3540367497]
書誌ID:
BA78206336
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer

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

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

Springer eBooks Computer Science, Springer Berlin Heidelberg

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., Bonsangue, Marcello M., Hallerstede, Stefan, Kanade, Takeo, Leuschel, Michael

Springer eBooks Computer Science, Springer Berlin Heidelberg

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, Boer, Frank S. de, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg

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

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

REX School/Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz

Springer-Verlag

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