>> Google Books

Formal Methods for Open Object-Based Distributed Systems / International Conference on Formal Methods for Open Object-Based Distributed Systems, Takeo Kanade, Martin Steffen, Gianluigi Zavattaro, IFIP Working Group 6.1.

資料種別:
電子ブック
出版情報:
Springer eBooks Computer Science
Springer Berlin / Heidelberg, 2005
著者名:
ISBN:
9783540261810 [3540261818]
9783540315568 [354031556X]
書誌ID:
OB00277799
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer

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

Springer

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

Springer eBooks Computer Science, Springer Berlin Heidelberg

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

Kluwer Academic

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

Springer eBooks Computer Science, Springer Berlin Heidelberg

International Conference on Formal Methods for Open Object-Based Distributed Systems, Gorrieri, Roberto, Wehrheim, Heike

Springer

Gorrieri, Roberto, Kanade, Takeo, Wehrheim, Heike

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Bernardo, Marco, Degano, Pierpaolo, Kanade, Takeo, Zavattaro, Gianluigi

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

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

Kluwer Academic Publishers

12 電子ブック Formal Methods for Web Services

Bernardo, Marco, Kanade, Takeo, Padovani, Luca, Zavattaro, Gianluigi

Springer eBooks Computer Science, Springer Berlin Heidelberg

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