Foundations of software science and computation structures : 8th international conference, FOSSACS 2005 : held as part of the joint European conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings. : Apr 2005, Edinburgh, UK.

• 資料種別: 図書
• ISBN: 3540253882
• ISSN（シリーズ）: 0302-9743
• タイトル: Foundations of software science and computation structures : 8th international conference, FOSSACS 2005 : held as part of the joint European conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings. : Apr 2005, Edinburgh, UK.
• シリーズタイトル: Lecture Notes in Computer Science ; 3441
• 著者標目: University of Edinburgh. School of Informatics.; Sassone, Vladimiro.; FOSSACS 2005 (2005 : Edinburgh, Scotland); ETAPS 2005 (2005 : Edinburgh, Scotland)
• 出版事項: Berlin : Springer; New York : Springer
• 出版年月日等: c2005.
• 出版年（W3CDTF）: 2005
• 数量: xiii, 519 p. : ill. ; 24 cm.
• 出版地（国名コード）: DE
• 本文の言語コード: eng
• 件名標目: Computer software -- Congresses.; System analysis -- Congresses.
• LCC: QA76.751
• NDLC: M17
• 一般注記: Papers.; "ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in (...) " -- foreword.
• 書誌注記: Includes bibliographical references and author index.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-06-959
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000008157137; http://id.ndl.go.jp/bib/000008157137
• RLIN番号: PAUGV3916063-B
• 整理区分コード: 215