Coverart for item
The Resource 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

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

Label
Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983
Title
Software validation
Title remainder
inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983
Statement of responsibility
organized by GMD - Gesellschaft für Mathematik und Datenverarbeitung, mbH, Bonn, and SRI international, Menlo Park, USA ; edited by Hans-Ludwig Hausen
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
DLC
Illustrations
illustrations
Index
no index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1983
http://bibfra.me/vocab/lite/meetingName
Symposium on Software Validation
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1945-
http://library.link/vocab/relatedWorkOrContributorName
  • Hausen, Hans-Ludwig
  • Gesellschaft für Mathematik und Datenverarbeitung
  • SRI International
http://library.link/vocab/subjectName
  • Computer software
  • Computer software
  • Computer software
  • Computer programs
  • Computer programs
  • Computer programs
Label
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
Instantiates
Publication
Bibliography note
Bibliography: pages 335-375
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
10997386
Dimensions
24 cm
Extent
xii, 375 pages
Isbn
9780444875938
Isbn Type
(U.S.)
Lccn
84013659
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
(WaOLN)713606
Label
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
Publication
Bibliography note
Bibliography: pages 335-375
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
10997386
Dimensions
24 cm
Extent
xii, 375 pages
Isbn
9780444875938
Isbn Type
(U.S.)
Lccn
84013659
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
(WaOLN)713606

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...