Formal techniques for distributed systems : joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009 : Lisboa, Portugal, June 9-12, 2009 : proceedings.

• 資料種別: 図書
• ISBN: 9783642021374 (ISBN-13 : pbk.); 3642021379 (pbk.)
• ISSN（シリーズ）: 0302-9743
• タイトル: Formal techniques for distributed systems : joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009 : Lisboa, Portugal, June 9-12, 2009 : proceedings.
• シリーズタイトル: Lecture Notes in Computer Science ; 5522
• タイトル標目: Lecture notes in computer science ; 5522.; LNCS sublibrary. SL 2 Programming and software engineering.
• 著者標目: Lee, David.; Lopes, Antónia.; Poetzsch-Heffter, Arnd.; International Conference on Formal Methods for Open Object-Based Distributed Systems (11th : 2009 : Lisbon, Portugal); FORTE 2009 (2009 : Lisbon, Portugal)
• 出版事項: Berlin : Springer
• 出版年月日等: c2009.
• 出版年（W3CDTF）: 2009
• 数量: xii, 248 p. : ill. ; 24 cm.
• 並列タイトル等: FMOODS/FORTE 2009
• その他のタイトル: international federated conferences on distributed computing techniques : DisCoTec conferences : 11th formal methods for open object-based distributed systems : 29th formal techniques for networked and distributed systems : Jun 2009, Lisboa, Portugal.
• 出版地（国名コード）: DE
• 本文の言語コード: eng
• 件名標目: Electronic data processing -- Distributed processing -- Congresses.; Object-oriented programming (Computer science) -- Congresses.; Formal methods (Computer science) -- Congresses.; Rechnernetz -- Softwarespezifikation -- Formale Spezifikationstechnik -- Kongress -- Lissabon <2009>; Software -- Testen -- Formale Methode -- Kongress -- Lissabon <2009>; Verteiltes System -- Formale Methode -- Kongress -- Lissabon <2009>
• DDC: 004.2422gerDNB
• NDLC: M17
• 一般注記: Selected papers.; "The DisCoTec conferences jointly cover (...) The event this year comprised the 11th International Conference on Coordination Models and Languages (COORDINATION) , the 9th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS) , and the IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE) ." -- foreword.
• 書誌注記: Includes bibliographical references and author index.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-10-1371
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000010620294; http://id.ndl.go.jp/bib/000010620294
• OCLC番号: 401153802; https://www.worldcat.org/oclc/401153802
• 整理区分コード: 215