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

Search Results

Cover image for Industrial used of formal method

Industrial used of formal method

  • 2012
  • Format: Book
Location Call # Status
Joyner - General Stacks TA168 .I45 2012 ✔ Available
Cover image for Runtime verification

Runtime verification

  • by RV 2009
  • 2009
  • Format: Electronic
Location
Access Content Online
Cover image for The moderator's survival guide

The moderator's survival guide

Location
Access Content Online
Cover image for Year 2000 computing crisis

Year 2000 computing crisis

Location Call # Status
Joyner - Microforms B300 GA 1.5/2:T-AIMD-98-218 ✔ Available
Cover image for Testing of software and communication systems

Testing of software and communication systems

Location
Access Content Online
Cover image for The proof in the code

The proof in the code

Location Call # Status
Joyner - New Books Q335 .H374 2026 ✔ Available
Cover image for Software formal inspection standard

Software formal inspection standard

  • 1993
  • Format: Microform
Location Call # Status
Joyner - Microforms B300 NAS 1.82:2202-93 ✔ Available
Cover image for Software test attacks to break mobile and embedded devices

Software test attacks to break mobile and embedded devices

Location
Access Content Online
Cover image for GAO views on Year 2000 testing metrics

GAO views on Year 2000 testing metrics

Location Call # Status
Joyner - Microforms B300 GA 1.13:AIMD-98-217 R ✔ Available
Cover image for Model checking software

Model checking software

Location
Access Content Online