>> Amazon.co.jp
このページの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
著者名:
シリーズ名:
The international federation for information processing ; 10 <BA39641980>
ISBN:
9780792384298 [0792384296]  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed …

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

Kluwer Academic Publishers
7 図書 Applications in parallel and distributed computing : proceedings of the IFIP WG10.3 Working Conference on Applications in Parallel and Distributed Computing, …

IFIP WG10.3 Working Conference on Applications in Parallel and Distributed Computing, Girault, Claude

North-Holland
2 図書 Decentralized and distributed systems : proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Palma de Mallorca, …

IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Cosnard, M. (Michel), Puigjaner, Ramon

North-Holland
8 図書 Distributed data sharing systems : proceedings of the Third International Seminar on Distributed Data Sharing Systems, held in Parma, Italy, 28-30 March 1984

International Seminar on Distributed Data Sharing Systems, Schreiber, F. A. (Fabio A.), 1945-, Litwin, W. (Witold), &hellip;

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
3 図書 Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 / WG6.1 21st International Conference on Formal Techniques for Networked and …

IFIP TC6 / WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems, Kim, Myungchul, &hellip;

Kluwer Academic Publishers
9 図書 Coordination languages and models : First International Conference COORDINATION '96, Cesena, Italy, April 15-17 1996 : proceedings

International Conference COORDINATION, Ciancarini, Paolo, 1959-, Hankin, Chris

Springer
4 図書 Object-based models and languages for concurrent systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, …

European Conference on Object-Oriented Programming, Ciancarini, Paolo, 1959-, Nierstrasz, Oscar Marius, 1957-, 米沢, &hellip;

Springer-Verlag
10 図書 Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings

International AMAST Workshop, Katoen, Joost-Pieter

Springer
5 図書 Distributed processing : proceedings of the IFIP WG 10.3 Working Conference on Distributed Processing, Amsterdam, the Netherlands, 5-7 October, 1987

IFIP WG 10.3 Working Conference on Distributed Processing, Barton, Michael H., Dagless, E. L., Reijns, G. L. (Gerard &hellip;

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
11 図書 Parallel & distributed algorithms : proceedings of the International Workshop on Parallel & Distributed Algorithms, Chateau de Bonas, Gers, France, 3-6 …

International Workshop on Parallel & Distributed Algorithms, Cosnard, M. (Michel)

North-Holland
6 図書 Concurrent languages in distributed systems hardware supported implementation : proceedings of the IFIP WG 10.3 Workshop on Hardware Supported Implementation on …

IFIP WG 10.3 Workshop on Hardware Supported Implementation on Concurrent Languages in Distributed Systems (1984 : &hellip;

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
12 図書 Distributed algorithms : 10th International Workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 : proceedings

International Workshop on Distributed Algorithms, Babaoğlu, Özalp, Marzullo, Keith

Springer