Start Over
You searched for: subject "Computer Programs+Validation."

Search Results

Cover image for Guideline for lifecycle validation, verification, and testing of computer software

Guideline for lifecycle validation, verification, and testing of computer software

  • 1984
  • Format: Book
Location Call # Status
Joyner - Fed Docs Stacks C 13.52:101 ✔ Available
Cover image for Verification, Model Checking and Abstract Interpretation

Verification, Model Checking and Abstract Interpretation

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 Pascal compiler validation

Pascal compiler validation

  • 1983
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.73.P2 P35 1983 ✔ 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 Guidance for industry

Guidance for industry

  • 2007
  • Format: Electronic
Location
Access Content Online
Cover image for 2015 IEEE ACM 6th International Workshop on Emerging Trends in Software Metrics (WETSoM)

2015 IEEE ACM 6th International Workshop on Emerging Trends in Software Metrics (WETSoM)

Location
Access Content Online
Cover image for Spreadsheet proof of arguments

Spreadsheet proof of arguments

Location
Access Content Online