Formal techniques for computer systems and business processes : European performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005 : Versailles, France, September 1-3, 2005 : proceedings. : Sep 2005, Versailles, France.

• 資料種別: 図書
• ISBN: 3540287019; 9783540287018 (ISBN-13)
• ISSN（シリーズ）: 0302-9743
• タイトル: Formal techniques for computer systems and business processes : European performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005 : Versailles, France, September 1-3, 2005 : proceedings. : Sep 2005, Versailles, France.
• シリーズタイトル: Lecture Notes in Computer Science ; 3670
• 著者標目: Bravetti, Mario.; Kloul, Leïla.; Zavattaro, Gianluigi.; EPEW (2005 : Versailles, France); International Workshop on Web Services and Formal Methods (2005 : Versailles, France)
• 出版事項: Berlin : Springer; New York : Springer
• 出版年月日等: c2005.
• 出版年（W3CDTF）: 2005
• 数量: xiii, 348 p. : ill. ; 24 cm.
• 出版地（国名コード）: DE
• 本文の言語コード: eng
• 件名標目: Computer systems -- Evaluation -- Congresses.; Telecommunication systems -- Evaluation -- Congresses.; Formal methods (Computer science) -- Congresses.; Web services -- Congresses.
• LCC: QA76.9.E94
• NDLC: M17
• 一般注記: Papers.; "This second edition of the workshop (WS-FM 2005) (...) " -- p. [ix].
• 書誌注記: Includes bibliographical references and author index.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-06-116
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000008025075; http://id.ndl.go.jp/bib/000008025075
• LC control number: 2005931522; https://lccn.loc.gov/2005931522
• RLIN番号: PAUGV3928586-B
• 整理区分コード: 215