>> Google Books

Formal Methods for Open Object-Based Distributed Systems / Gilles Barthe, Frank S. Boer, Frank S. de Boer, Takeo Kanade, IFIP Working Group 6.1.

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin Heidelberg, 2008
著者名:
ISBN:
9783540688624 [3540688625]
9783540688631 [3540688633]
書誌ID:
OB00279052
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

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

International Conference on Formal Methods for Open Object-Based Distributed Systems, Kanade, Takeo, Steffen, Martin, …

Springer eBooks Computer Science, Springer Berlin / Heidelberg

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

Springer eBooks Computer Science, Springer Berlin Heidelberg

Gorrieri, Roberto, Kanade, Takeo, Wehrheim, Heike

Springer eBooks Computer Science, Springer Berlin / Heidelberg

International Conference on Formal Methods for Open Object-Based Distributed Systems, Smith, Scott F., Talcott, Carolyn …

Kluwer Academic Publishers

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

Springer eBooks Computer Science, Springer Berlin / Heidelberg

International Conference on Formal Methods for Open Object-Based Distributed Systems, Jacobs, Bart, Rensink, Arend

Kluwer Academic Publishers

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

Springer eBooks Computer Science, Springer Berlin Heidelberg

International Conference on Formal Methods for Open Object-Based Distributed Systems, Ciancarini, Paolo, 1959-, …

Kluwer Academic

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

Springer eBooks Computer Science, Springer Berlin Heidelberg

International Conference on Formal Methods for Open Object-Based Distributed Systems, Najm, Elie, Nestmann, Uwe, …

Springer

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