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. : 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.

• Material Type: 図書
• ISBN: 9783642021374 (ISBN-13 : pbk.); 3642021379 (pbk.)
• ISSN (series): 0302-9743
• Title: 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. : 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.
• Series Title: Lecture Notes in Computer Science ; 5522
• Title Heading: Lecture notes in computer science ; 5522.; LNCS sublibrary. SL 2 Programming and software engineering.
• Author Heading: 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)
• Publication, Distribution, etc.: Berlin : Springer
• Publication Date: c2009.
• Publication Date (W3CDTF): 2009
• Extent: xii, 248 p. : ill. ; 24 cm.
• Alternative Title: FMOODS/FORTE 2009
• Place of Publication (Country Code): DE
• Text Language Code: eng
• Subject Heading: 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
• Note (General): 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.
• Note (Bibliography): Includes bibliographical references and author index.
• Holding library: 国立国会図書館
• Call No.: M17-10-1371
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000010620294; http://id.ndl.go.jp/bib/000010620294
• OCLC No.: 401153802; https://www.worldcat.org/oclc/401153802
• Bibliographic Record Category (NDL): 215