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

著者

書誌事項

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.

大学図書館所蔵 件 / 全9件

この図書・雑誌をさがす

注記

Bibliography: p. 335-375

詳細情報

ページトップへ