Start Over
You searched for: subject Computer Software+Validation.

Search Results

Cover image for Spreadsheet proof of arguments

Spreadsheet proof of arguments

Location
Access Content Online
Cover image for Modes of operation validation system for the Triple Data Encryption Algorithm (TMOVS)

Modes of operation validation system for the Triple Data Encryption Algorithm (TMOVS)

Location
Access Content Online
Cover image for Learning test-driven development

Learning test-driven development

Location Call # Status
Joyner - General Stacks QA76.76 .T48 S534 2021 ✔ Available
Cover image for Evaluation and suitability of using SERI QC software for estimating measurement uncertainty

Evaluation and suitability of using SERI QC software for estimating measurement uncertainty

Location
Access Content Online
Cover image for Pascal compiler validation

Pascal compiler validation

  • 1983
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.73.P2 P35 1983 ✔ Available
Cover image for Introduction to C.A.S.E. technology using visible analyst workbench

Introduction to C.A.S.E. technology using visible analyst workbench

Location Call # Status
Joyner - General Stacks QA76.758 .W4 1991 ✔ Available
Cover image for Modular specification and verification of object-oriented programs

Modular specification and verification of object-oriented programs

Location Call # Status
Joyner - General Stacks QA76.64 .M85 2002 ✔ Available
Cover image for Computer product selections

Computer product selections

Location Call # Status
Joyner - Fed Docs Stacks C 51.2:C 73/2 ✔ Available
Cover image for Modes of operation validation system (MOVS)

Modes of operation validation system (MOVS)

Location Call # Status
Joyner - Microforms B300 C 13.10:800-17 ✔ Available
Cover image for Mirror worlds, or, The day software puts the universe in a shoebox--

Mirror worlds, or, The day software puts the universe in a shoebox--

Location Call # Status
Joyner - General Stacks QA76.754 .G45 1991 ✔ Available