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

著者

• International Workshop on Formal Methods for Industrial Critical Systems
• Margaria-Steffen, Tiziana
• Massink, Mieke
• ACM Sigsoft
• ESEC/FSE 2005 (2005 : Lisbon, Portugal)

書誌事項

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

Association for Computing Machinery, c2005

タイトル別名

FMICS '05

Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems

注記

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

詳細情報

• NII書誌ID(NCID): BA81456568
• ISBN:
  • 1595931481
• LCCN: 2006296088
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York
• ページ数/冊数: viii, 144 p.
• 大きさ: 28 cm
• 分類:
  • LCC : QA76.9.F67
  • DC22 : 005.13/1
• 件名:
  • LCSH : Formal methods (Computer science) -- Congresses