Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008 : Oslo, Norway, June 4-6, 2008 : proceedings. : 10th IFIP Working Group 6.1 international conference on formal methods for open object-based distributed systems : 3rd federated conferences on distributed computing techniques (DisCoTec) : Jun 2008, Oslo, Norway. (Lecture Notes in Computer Science ; 5051)

Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008 : Oslo, Norway, June 4-6, 2008 : proceedings. : 10th IFIP Working Group 6.1 international conference on formal methods for open object-based distributed systems : 3rd federated conferences on distributed computing techniques (DisCoTec) : Jun 2008, Oslo, Norway.

(Lecture Notes in Computer Science ; 5051)

国立国会図書館請求記号: M17-08-2320
国立国会図書館書誌ID: 000009718865

資料種別: 図書

著者: Barthe, Gilles, 1967-ほか

出版者: Springer

出版年: c2008.

資料形態: 紙

ページ数・大きさ等: x, 258 p. : ill. ; 24 cm.

NDC: -

すべて見る

資料に関する注記

一般注記：: An abstract and papers."The conference was part of the (...) (DisCoTec) , together with the 10th International Conference on Coordination Models and L...

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
ISBN: 9783540688624 (ISBN-13 : pbk.)
3540688625 (pbk.)
ISSN（シリーズ）: 0302-9743
タイトル: Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008 : Oslo, Norway, June 4-6, 2008 : proceedings. : 10th IFIP Working Group 6.1 international conference on formal methods for open object-based distributed systems : 3rd federated conferences on distributed computing techniques (DisCoTec) : Jun 2008, Oslo, Norway.
シリーズタイトル: Lecture Notes in Computer Science ; 5051
タイトル標目: LNCS sublibrary. SL 2 Programming and software engineering.
著者標目: Barthe, Gilles, 1967-
Boer, Frank S. de.
International Conference on Formal Methods for Open Object-Based Distributed Systems (10th : 2008 : Oslo, Norway)
出版事項: Berlin : Springer
New York : Springer
出版年月日等: c2008.
出版年（W3CDTF）: 2008
数量: x, 258 p. : ill. ; 24 cm.
出版地（国名コード）: DE
本文の言語コード: eng
件名標目: Electronic data processing -- Distributed processing -- Congresses.
Object-oriented programming (Computer science) -- Congresses.
LCC: QA76.9.D5
NDLC: M17
一般注記: An abstract and papers.
"The conference was part of the (...) (DisCoTec) , together with the 10th International Conference on Coordination Models and Languages (COORDINATION 2008) and the 8th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2008) ." -- pref.
書誌注記: Includes bibliographical references and author index.
所蔵機関: 国立国会図書館
請求記号: M17-08-2320
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000009718865
http://id.ndl.go.jp/bib/000009718865
OCLC番号: 232124186
https://www.worldcat.org/oclc/232124186
整理区分コード: 215