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.

Call No. (NDL): M15-A2065
Bibliographic ID of National Diet Library: 000003120106

Material type: 図書

Author: Symposium on Software Validation (1983 : Darmstadt, Germany)ほか

Publisher: Elsevier Science Publishers B.V. for Gesellschaft für Mathematik und Datemverarbeitung, Bonn

Publication date: 1984.

Material Format: Paper

Capacity, size, etc.: xii, 375 p. : ill. ; 24 cm.

NDC: -

View All

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 044487593X (U.S.)
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.
Author Heading: Symposium on Software Validation (1983 : Darmstadt, Germany)
Hausen, Hans-Ludwig, 1945-
Gesellschaft für Mathematik und Datenverarbeitung.
SRI International.
Publication, Distribution, etc.: Amsterdam : Elsevier Science Publishers B.V. for Gesellschaft für Mathematik und Datemverarbeitung, Bonn
New York : Elsevier Science Publishers B.V. for Gesellschaft für Mathematik und Datemverarbeitung, Bonn
New York, N.Y., U.S.A. : Elsevier Science Publishers B.V. for Gesellschaft für Mathematik und Datemverarbeitung, Bonn
Amsterdam : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Publication Date: 1984.
Publication Date (W3CDTF): 1984
Extent: xii, 375 p. : ill. ; 24 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: Computer software -- Validation -- Congresses.
Computer software -- Testing -- Codngresses.
Computer software -- Verification -- Congresses.
LCC: QA76.6
DDC: 001.64/25
NDLC: M15
M159
Note (Bibliography): Bibliography: p. 335-375.
Holding library: 国立国会図書館
Call No.: M15-A2065
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003120106
http://id.ndl.go.jp/bib/000003120106
LC Control Number: 84013659 //r852
https://lccn.loc.gov/84013659
Bibliographic Record Category (NDL): 211