FMICS'05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05

• 資料種別: 図書
• ISBN: 1595931481
• タイトル: FMICS'05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05
• 著者・編者: editors, Tiziana Margaria & Mieke Massink ; sponsored by ACM SIGSOFT
• 著者標目: International Workshop on Formal Methods for Industrial Critical Systems; Margaria-Steffen, Tiziana; Massink, Mieke; ACM Sigsoft; ESEC/FSE 2005 (2005 : Lisbon, Portugal)
• 出版事項: Association for Computing Machinery
• 出版年月日等: c2005
• 出版年（W3CDTF）: 2005
• 大きさ: 28 cm
• 並列タイトル等: FMICS '05; Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems
• 出版地（国名コード）: us
• 本文の言語コード: en
• 件名標目: Formal methods (Computer science) -- Congresses
• LCC: QA76.9.F67
• 対象利用者: 一般
• 一般注記: Also issued online with additional title: Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems; Includes bibliographic references and author index; "ACM Order Number 592055"--P. ii; HTTP:URL=http://portal.acm.org/toc.cfm?id=1081180&coll=portal&dl=ACM&type=proceeding&idx=SERIES364&part=Proceedings&WantType=Proceedings&title=Foundations%20of%20Software%20Engineering
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA81456568#entity; https://lccn.loc.gov/2006296088
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA81456568 : BA81456568
• LC control number: 2006296088; https://lccn.loc.gov/2006296088