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

>> Google Books

Formal Methods for Open Object-Based Distributed Systems / Marcello M. Bonsangue, David Hutchison, Einar Broch Johnsen, Takeo Kanade, IFIP Working Group 6.1.

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2007

著者名:

ISBN:

9783540729198 [3540729194]
9786610943883 [6610943885]

書誌ID:

OB00353485

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

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

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック 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	7 電子ブック 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
2 電子ブック Formal Methods for Components and Objects Hutchison, David, Kanade, Takeo, Bonsangue, Marcello M., de Boer, Frank S. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Theory and Practice of Formal Methods Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen, Bonsangue, Marcello, Johnsen, Einar Broch SpringerLink Books - AutoHoldings, Springer International Publishing
3 電子ブック Theory and Practice of Formal Methods Erika ?brah?m, Marcello Bonsangue, Einar Broch Johnsen Springer eBooks Computer Science, Springer International Publishing	9 電子ブック Formal Methods for Open Object-Based Distributed Systems Gorrieri, Roberto, Kanade, Takeo, Wehrheim, Heike Springer eBooks Computer Science, Springer Berlin / Heidelberg
4 電子ブック 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	10 電子ブック Formal Methods for Components and Objects Hutchison, David, Kanade, Takeo, Bonsangue, Marcello M., Damiani, Ferruccio, de Boer, Frank S. 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., Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Formal Methods for Open Object-Based Distributed Systems Gorrieri, Roberto, Kanade, Takeo, Wehrheim, Heike, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
6 電子ブック 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	12 電子ブック Formal Methods for Components and Objects Hutchison, David, Boer, Frank S. de, Kanade, Takeo, de Boer, Frank S., de Roever, Willem-Paul, Graf, Susanne, Bonsangue, … SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12