CiNii Books - Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983

Author(s)

Bibliographic Information

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

Elsevier Science Publishers B.V. for Gesellschaft für Mathematik und Datemverarbeitung, Bonn , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984

U.S.

Available at / 9 libraries

Osaka University, Main Library

U.S.08658029205

OPAC
九州工業大学附属図書館情報工学部分館

U.S.549.9||H-320405764

OPAC
Science and Technology Library, Kyushu University

068252184011547

OPAC
京都大学大学院情報学研究科

U.S.I,1984||5.5||24584089637

OPAC
Shiga University Library

U.S.001.64||Sy 6087145123

OPAC
University of Tsukuba Library

ikkatu

OPAC
Nagoya University Library工中央書庫

U.S.007.64||Sy40860091

OPAC
北陸先端科学技術大学院大学附属図書館

U.S.C45.3/ S /6953098

OPAC
Hokkaido University, Faculty and Graduate School of Engineering図書

U.S.dc19:001.6/sy683521125090

OPAC
No Libraries matched.
Remove all filters.

Search this Book/Journal

Note

Bibliography: p. 335-375