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

Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy / edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri

資料種別:
図書
出版情報:
Boston : Kluwer Academic, c1999
形態:
xii, 436 p. ; 24 cm
シリーズ名:
The International Federation for Information Processing ; 10 <BA39641980>
著者名:
ISBN:
9780792384298 [0792384296]
書誌ID:
BA41081798
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

Springer

IFIP TC6/WG6.1 International Workshop on Open Distributed Processing, Raymond, Kerry, Armstrong, Liz, 1956-, …

Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)

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

Springer

IFIP TC6/WG6.1 International Conference on Open Distributed Processing, Meer, Jan de, Mahr, Bernd, Storp, Silke, 1965-, …

North-Holland

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

Springer

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

Kluwer Academic Publishers

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication …

Kluwer Academic Publishers

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

Kluwer Academic Publishers

IFIP TC6 EG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication …

Chapman & Hall

Gorrieri, Roberto, Kanade, Takeo, Wehrheim, Heike

Springer eBooks Computer Science, Springer Berlin / Heidelberg

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