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

Formal methods for open object-based distributed systems V : IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) : March 20-22, 2002, Enschede, The Netherlands / edited by Bart Jacobs, Arend Rensink

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

類似資料:

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, 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

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, Najm, Elie, Nestmann, Uwe, …

Springer

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