Formal Methods for Open Object-Based Distributed Systems | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

Formal Methods for Open Object-Based Distributed Systems / Gilles Barthe, Frank S. Boer, Frank S. de Boer, Takeo Kanade, IFIP Working Group 6.1.

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2008

著者名:

ISBN:

9783540688624 [3540688625]
9783540688631 [3540688633]

書誌ID:

OB00354213

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

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

ブックレビュー

Loading review information

類似資料:

1 電子ブック 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	7 電子ブック Formal Methods for Open Object-Based Distributed Systems Gorrieri, Roberto, Kanade, Takeo, Wehrheim, Heike, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
2 電子ブック 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	8 電子ブック Proceedings of the 10th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems Eliassen, Frank, Kanade, Takeo, Kapitza, Rüdiger, Association for Computing Machinery-Digital Library. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック 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	9 電子ブック Formal Methods for Components and Objects Boer, Frank S., Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Kanade, Takeo, Roever, Willem-Paul Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック 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	10 電子ブック Formal Methods for Components and Objects Boer, Frank S., Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Kanade, Takeo, Roever, Willem-Paul Springer eBooks Computer Science, Springer Berlin Heidelberg
5 電子ブック 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	11 電子ブック Formal Methods for Components and Objects Hutchison, David, Boer, Frank S. de, Kanade, Takeo, de Boer, Frank S., de Roever, Willem-Paul, Graf, Susanne Springer eBooks Computer Science, Springer Berlin / Heidelberg
6 電子ブック Formal Methods for Open Object-Based Distributed Systems Gorrieri, Roberto, Kanade, Takeo, Wehrheim, Heike Springer eBooks Computer Science, Springer Berlin / Heidelberg	12 電子ブック Formal Methods for Components and Objects Boer, Frank S., Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Kanade, Takeo, Roever, Willem-Paul Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12