Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings / Roberto Gorrieri, Heike Wehrheim (eds.)

資料種別:

図書

出版情報:

Berlin : Springer, c2006

形態:

x, 266 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 4037 <BA00009279>

著者名:

ISBN:

9783540348931 [354034893X]

書誌ID:

BA77307418

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	器械計算．計算器
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Formal Methods for Open Object-Based Distributed Systems Gorrieri, Roberto, Kanade, Takeo, Wehrheim, Heike Springer eBooks Computer Science, Springer Berlin / Heidelberg	7 図書 Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19-21, 2003 : … International Conference on Formal Methods for Open Object-Based Distributed Systems, Najm, Elie, Nestmann, Uwe, … Springer
2 電子ブック Formal Methods for Open Object-Based Distributed Systems Gorrieri, Roberto, Kanade, Takeo, Wehrheim, Heike, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	8 図書 Formal methods for open object-based distributed systems V : IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed … International Conference on Formal Methods for Open Object-Based Distributed Systems, Jacobs, Bart, Rensink, Arend Kluwer Academic Publishers
3 図書 Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed … International Conference on Formal Methods for Open Object-Based Distributed Systems, Ciancarini, Paolo, 1959-, … Kluwer Academic	9 図書 Coordination models and languages : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006 : proceedings COORDINATION, Ciancarini, Paolo, 1959-, Wiklicky, Herbert Springer
4 図書 Distributed applications and interoperable systems : 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006 : proceedings DAIS, Eliassen, Frank, Montresor, Alberto Springer	10 図書 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
5 図書 Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings International Conference on Formal Methods for Open Object-Based Distributed Systems, Steffen, Martin, Zavattaro, … Springer	11 図書 Distributed applications and interoperable systems : 4th IFIP WG6.1 International Conference, DAIS 2003 Paris France November 17-21, 2003 : proceedings DAIS, Stefani, Jean-Bernard, Demeure, Isabelle, Hagimont, Daniel Springer
6 図書 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 … Kluwer Academic Publishers	12 図書 Security and Cryptography for Networks : 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006 : proceedings SCN, De Prisco, Roberto, 1968-, Yung, Moti Springer

1

2

3

4

5

6

7

8

9

10

11

12