Proceedings of FMSP '00 : the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA : co-located with ISSTA '00

著者

• Workshop on Formal Methods in Software Practice
• International Symposium on Software Testing and Analysis
• Heimdahl, Mats P. E.
• ACM Sigsoft

書誌事項

Proceedings of FMSP '00 : the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA : co-located with ISSTA '00

edited by Mats P.E. Heimdahl ; sponsored by ACM SIGSOFT

Association for Computing Machinery, c2000

注記

"ACM order number: 592003"

詳細情報

• NII書誌ID(NCID): BA75443619
• ISBN:
  • 158113262X
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York, New York
• ページ数/冊数: vii, 112 p.
• 大きさ: 28 cm