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

Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) : September 6-8, 2000, Stanford, California, USA / edited by Scott F. Smith, Carolyn L. Talcott

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

類似資料:

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

Kluwer Academic Publishers

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

Springer

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, Gorrieri, Roberto, Wehrheim, Heike

Springer

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

Kluwer Academic

IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems, Rammig, F. J.

Kluwer Academic

IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems, Kutvonen, Lea, …

Kluwer Academic Publishers

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

Kluwer Academic

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)

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