Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference FMOODS 2007 : Paphos, Cyprus, June 6-8, 2007 : proceedings. : federated conferences on distributed computing techniques (DisCoTec) : Jun 2007, Paphos, Cyprus.

• 資料種別: 図書
• ISBN: 9783540729198 (ISBN-13 : pbk.); 3540729194 (pbk.)
• ISSN（シリーズ）: 0302-9743
• タイトル: Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference FMOODS 2007 : Paphos, Cyprus, June 6-8, 2007 : proceedings. : federated conferences on distributed computing techniques (DisCoTec) : Jun 2007, Paphos, Cyprus.
• シリーズタイトル: Lecture Notes in Computer Science ; 4468
• 著者標目: University of Cyprus. Department of Computer Science.; Bonsangue, Marcello M.; Johnsen, Einar Broch.; International Conference on Formal Methods for Open Object-Based Distributed Systems (9th : 2007 : Paphos, Cyprus)
• 出版事項: Berlin : Springer; New York : Springer
• 出版年月日等: c2007.
• 出版年（W3CDTF）: 2007
• 数量: x, 316 p. : ill. ; 24 cm.
• 出版地（国名コード）: DE
• 本文の言語コード: eng
• 件名標目: Electronic data processing -- Distributed processing -- Congresses.; Object-oriented programming (Computer science) -- Congresses.
• LCC: QA76.9.D5
• NDLC: M17
• 一般注記: Selected papers.; "The conference is part of the federated conferences on Distributed Computing Techniques (DisCoTec) , together with the Ninth International Conference on Coordination Models and Languages (COORDINATION 2007) and the Seventh IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2007) ." -- pref.; "The event was the third federated DisCoTec conference series, (...) " -- pref.
• 書誌注記: Includes bibliographical references and author index.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-07-2714
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000009142028; http://id.ndl.go.jp/bib/000009142028
• LC control number: 2007927619; https://lccn.loc.gov/2007927619
• OCLC番号: 137334577; https://www.worldcat.org/oclc/137334577
• 整理区分コード: 215