Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings

>> Google Books

タイトル、所在を表示します

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings

フォーマット:

図書

責任表示:

Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)

言語:

英語

出版情報:

Berlin ; Tokyo : Springer, c2003

形態:

x, 292 p. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 2884 <BA00009279>

書誌ID:

BA64762546

ISBN:

9783540204916 [3540204911]

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

資料形態(詳細):	Text
主題:	Electronic data processing--Distributed processing--Congresses; Object-oriented programming (Computer science)--Congresses
注記:	Includes bibliographical references and index
登録日:	2004-06-11
分類・件名:	LCSH : Electronic data processing -- Distributed processing -- Congresses LCSH : Object-oriented programming (Computer science) -- Congresses

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid, Spain, September 27-30, 2004 : … FORTE, Frutos-Escrig, David de, Núñes, Manuel, IFIP Working Group 6.1 Springer	7 図書 Middleware 2000 : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing, New York, NY, USA, April 4-7, 2000 : … IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing, Sventek, Joseph, … Springer
2 図書 Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, … FORTE, König, Hartmut, 1947-, Heiner, Monika, 1954-, Wolisz, Adam, IFIP Working Group 6.1 Springer	8 図書 The 10th International Conference on Distributed Computing Systems, Paris, France, May 28 - June 1, 1990 : proceedings International Conference on Distributed Computing Systems, Institut national de recherche en informatique et en … IEEE Computer Society Press
3 図書 Formal techniques for networked and distributed systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : … FORTE, IFIP Working Group 6.1, Derrick, John, 1963-, Vain, Jüri Springer	9 図書 Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference, Houston, Texas, USA, November 11-14, 2002 : … FORTE, IFIP Working Group 6.1, Peled, Doron, Vardi, Moshe Springer
4 図書 Object-based distributed programming : ECOOP '93 Workshop, Kaiserslautern, Germany, July 26-27, 1993 : proceedings European Conference on Object-Oriented Programming, Guerraoui, Rachid, Nierstrasz, Oscar Marius, 1957-, Riveill, Michel Springer-Verlag	10 図書 Formal methods for components and objects : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006 : revised lectures FMCO, Boer, Frank S. de Springer
5 図書 Engineering distributed objects : second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000 : revised papers EDO, Emmerich, Wolfgang, Dr. Rer. Nat, Tai, Stefan, 1970- Springer	11 図書 Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings International Conference on Algebraic Methodology and Software Technology, Katoen, Joost-Pieter Springer
6 図書 Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms, Heidelberg, Germany, November 12-16, 2001 : proceedings IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing, Guerraoui, Rachid Springer	12 図書 Object technologies for advanced software : First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings International Symposium on Object Technologies for Advanced Software, 西尾, 章治郎(1951-), 米沢, 明憲(1947-), 日本ソフトウェア科学会 Springer-Verlag