Start Over
You searched for: subject "Computer Software+Verification."

Search Results

Cover image for Proceedings

Proceedings

Location
Access Content Online
Cover image for IEEE International Conference on Software Testing, Verification and Validation Workshops

IEEE International Conference on Software Testing, Verification and Validation Workshops

Location
Access Content Online
Cover image for Hardware and software

Hardware and software

Location
Access Content Online
Cover image for Hardware and software

Hardware and software

Location
Access Content Online
Cover image for Trustworthy Global Computing

Trustworthy Global Computing

  • 2007
  • Format: Electronic
Location
Access Content Online
Cover image for Software verification and testing

Software verification and testing

  • 1985
  • Format: Book
Location Call # Status
Joyner - Microforms B300 NAS 1.15:88587 ✔ Available
Joyner - Microforms B300 NAS 1.15:88587 ✔ Available
Joyner - Microforms B300 NAS 1.15:88587 ✔ Available
Cover image for Trustworthy global computing

Trustworthy global computing

Location
Access Content Online
Cover image for Modular compiler verification

Modular compiler verification

Location
Access Content Online
Cover image for Compiler Specification

Compiler Specification

Location
Access Content Online
Cover image for Model checking software

Model checking software

Location Call # Status
Joyner - General Stacks QA76.76.V47 I58 2005 ✔ Available