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 /

Saved in:

Bibliographic Details
Meeting name:	Symposium on Software Validation (1983 : Darmstadt, Germany)
Imprint:	Amsterdam ; New York : Elsevier Science Publishers B.V. for Gesellschaft für Mathematik und Datenverarbeitung, Bonn ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.
Description:	xii, 375 p. : ill. ; 24 cm.
Language:	English
Subject:	Computer programs -- Validation -- Congresses. Computer programs -- Testing -- Congresses. Computer programs -- Verification -- Congresses. Computer software -- Testing. Computer software -- Validation. Computer software -- Verification. Conference papers and proceedings.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/628072

Hidden Bibliographic Details
Other authors / contributors:	Hausen, Hans-Ludwig, 1945- Gesellschaft für Mathematik und Datenverarbeitung. SRI International
ISBN:	044487593X (U.S.)
Notes:	Bibliography: p. 335-375.

Mansueto

Loading map link

Holdings details from Mansueto
Call Number:	QA76.6.S919840 1983
c.1	Available Loan period: standard loan Request from Mansueto Scan and Deliver Need help? - Ask a Librarian