Jump to main content
図書

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.

Icons representing 図書

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.)
Publication Date
1984.
Publication Date (W3CDTF)
1984
Extent
xii, 375 p. : ill. ; 24 cm.
Place of Publication (Country Code)
NL
Text Language Code
eng