Formal Methods for Open Object-Based Distributed Systems | 東京工業大学附属図書館蔵書検索

>> Google Books

Formal Methods for Open Object-Based Distributed Systems / Roberto Gorrieri, Takeo Kanade, Heike Wehrheim, Josef Kittler

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin / Heidelberg, 2006

著者名:

ISBN:

9783540348931 [354034893X]
9783540348955 [3540348956]

書誌ID:

OB00494116

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

主題:	Information Technology - Computer Science (Hardware & Networks)
言語:	英語

東工大ブックレビュー

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 Bonsangue, Marcello M., Hutchison, David, Johnsen, Einar Broch, Kanade, Takeo, IFIP Working Group 6.1. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Formal Methods for Open Object-Based Distributed Systems Barthe, Gilles, Boer, Frank S., Boer, Frank S. de, Kanade, Takeo, IFIP Working Group 6.1., Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Formal Methods for Open Object-Based Distributed Systems International Conference on Formal Methods for Open Object-Based Distributed Systems, Kanade, Takeo, Steffen, Martin, … Springer eBooks Computer Science, Springer Berlin / Heidelberg
3 電子ブック Formal Methods for Open Object-Based Distributed Systems International Conference on Formal Methods for Open Object-Based Distributed Systems, Kanade, Takeo, Steffen, Martin, … SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	9 電子ブック Integrated Formal Methods Leuschel, Michael, Kanade, Takeo, Wehrheim, Heike, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 図書 Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings International Conference on Formal Methods for Open Object-Based Distributed Systems, Gorrieri, Roberto, Wehrheim, Heike Springer	10 電子ブック Formal Techniques for Distributed Systems Bruni, Roberto, Dingel, Juergen, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Formal Methods for Open Object-Based Distributed Systems Barthe, Gilles, Boer, Frank S., Boer, Frank S. de, Kanade, Takeo, IFIP Working Group 6.1. Springer eBooks Computer Science, Springer Berlin Heidelberg	11 電子ブック Formal Techniques for Distributed Systems Hatcliff, John, Kanade, Takeo, Zucca, Elena, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Formal Methods for Open Object-Based Distributed Systems Bonsangue, Marcello M., Hutchison, David, Johnsen, Einar Broch, Kanade, Takeo, IFIP Working Group 6.1. Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Formal Techniques for Distributed Systems Hutchison, David, Kanade, Takeo, Kittler, Josef, Rosu, Grigore SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12