Title 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

Published Amsterdam ; New York : Elsevier Science Publishers B.V. for Gesellschaft für Mathematik und Datemverarbeitung, Bonn ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984

Copies

Location	Call no.	Vol.	Availability
W'PONDS	005.14 Sym/Sva 1983		AVAILABLE

Description xii, 375 pages : illustrations ; 24 cm Bibliography Bibliography: pages 335-375 Subject Computer programs -- Testing -- Congresses. Computer programs -- Validation -- Congresses. Computer programs -- Verification -- Congresses. Computer software -- Testing -- Congresses. Computer software -- Validation -- Congresses. Computer software -- Verification -- Congresses. Genre/Form Conference papers and proceedings. Author Hausen, Hans-Ludwig, 1945- Gesellschaft für Mathematik und Datenverarbeitung. SRI International. LC no. 84013659 ISBN 044487593X (U.S.)

  Permalink