Research Catalog

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.

Title
  1. 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 by
  1. 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.
Author
  1. Symposium on Software Validation (1983 : Darmstadt, Germany) http://id.loc.gov/authorities/names/n84006399

Items in the library and off-site

Filter by

Displaying 1 item

StatusFormatAccessCall numberItem location
Status
Request for on-site useRequest scan
How do I pick up this item and when will it be ready?
FormatTextAccessRequest in advanceCall numberQA76.6 .S91984 1983Item locationOff-site

Details

Additional authors
  1. Gesellschaft für Mathematik und Datenverarbeitung. http://id.loc.gov/authorities/names/n81003115
  2. Hausen, Hans-Ludwig, 1945-
  3. SRI International. http://id.loc.gov/authorities/names/n77014035
Description
  1. xii, 375 pages : illustrations; 24 cm
Subject
  1. Computer programs > Verification > Congresses
  2. Computer software > Testing > Congresses
  3. Computer software > Validation > Congresses
Owning institution
  1. Columbia University Libraries
Bibliography (note)
  1. Bibliography: p. 335-375.