8 results Refine Results
  1. 1
    出版 1984
    圖書
    加到收藏夾
    Saved in:
    Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983 /
  2. 2
    由 Tucker, Warwick, 1961-
    出版 2011
    圖書
    加到收藏夾
    Saved in:
    Validated numerics : a short introduction to rigorous computations /
  3. 3
    由 Tucker, Warwick, 1961-
    出版 2011
    Connect to electronic resource
    電子 電子書
    加到收藏夾
    Saved in:
    Validated numerics a short introduction to rigorous computations /
  4. 4
    由 Deutsch, Michael S.
    出版 1982
    圖書
    加到收藏夾
    Saved in:
    Software verification and validation : realistic project approaches /
  5. 5
    由 Fisher, Marcus S.
    出版 2007
    “...Managing verification and validation --...”
    圖書
    加到收藏夾
    Saved in:
    Software verification and validation : an engineering and scientific approach /
  6. 6
    由 Roache, Patrick J.
    出版 1998
    圖書
    加到收藏夾
    Saved in:
    Verification and validation in computational science and engineering /
  7. 7
    出版 2007
    圖書
    加到收藏夾
    Saved in:
    Verification, validation and testing in software engineering /
  8. 8
    由 Unhelkar, Bhuvan
    出版 2005
    Connect to electronic resource
    電子 電子書
    加到收藏夾
    Saved in:
    Verification and validation for quality of UML 2.0 models

檢索工具: