Software validation
Subtitle: inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983
By: organized by GMD - Gesellschaft für Mathematik und Datenverarbeitung, mbH, Bonn, and SRI international, Menlo Park, USA ; edited by Hans-Ludwig Hausen.
Contributors: Hausen, Hans-Ludwig, 1945-; Gesellschaft für Mathematik und Datenverarbeitung.; SRI International.
Publisher: Elsevier Science Publishers B.V. for Gesellschaft für Mathematik und Datemverarbeitung, Bonn; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Published: 1984
Place of publication: Amsterdam; New York; New York, N.Y., U.S.A
Language: eng
Number of pages: 375
Subjects: Computer software -- Validation -- Congresses.; Computer software -- Testing -- Congresses.; Computer software -- Verification -- Congresses.
Notes: Bibliography: p. 335-375.