Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983

著者

• Symposium on Software Validation
• Hausen, Hans-Ludwig
• Gesellschaft für Mathematik und Datenverarbeitung
• SRI International

書誌事項

Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983

organized by GMD - Gesellschaft für Mathematik und Datenverarbeitung, mbH, Bonn, and SRI international, Menlo Park, USA ; edited by Hans-Ludwig Hausen

Elsevier Science Publishers B.V. for Gesellschaft für Mathematik und Datemverarbeitung, Bonn , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984

• U.S.

注記

Bibliography: p. 335-375

詳細情報

• NII書誌ID(NCID): BA07294570
• ISBN:
  • 044487593X
• LCCN: 84013659
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam ; New York,New York, N.Y., U.S.A.
• ページ数/冊数: xii, 375 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.6
  • DC19 : 001.64/25
• 件名:
  • LCSH : Computer software -- Validation -- Congresses
  • LCSH : Computer software -- Testing -- Codngresses
  • LCSH : Computer software -- Verification -- Congresses