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 : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.
- Physical Description
- xii, 375 p. : ill. ; 23 cm.
View MARC record | catkey: 1016171