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

Search Results

Cover image for Principles of model checking

Principles of model checking

Location Call # Status
Joyner - General Stacks QA76.76.V47 B35 2008 ✔ Available
Cover image for Dependable software systems engineering

Dependable software systems engineering

Location
Access Content Online
Cover image for Model checking

Model checking

Location Call # Status
Joyner - General Stacks QA76.76.V47 C553 1999 ✔ Available
Cover image for Principles of model checking

Principles of model checking

Location
Access Content Online
Cover image for Model checkers in software testing

Model checkers in software testing

Location Call # Status
Joyner - Microforms B300 C 13.58:6777 ✔ Available
Cover image for Unfoldings

Unfoldings

Location Call # Status
Joyner - General Stacks QA76.76.V47 E8 2008 ✔ Available
Cover image for Hardware and software, verification and testing

Hardware and software, verification and testing

Location
Access Content Online
Cover image for Hardware and software, verification and testing

Hardware and software, verification and testing

Location
Access Content Online
Cover image for Model checking

Model checking

Location
Access Content Online
Cover image for A comparison of software verification techniques

A comparison of software verification techniques

  • 1985
  • Format: Book
Location Call # Status
Joyner - Microforms B300 NAS 1.15:88585 ✔ Available
Joyner - Microforms B300 NAS 1.15:88585 ✔ Available
Joyner - Microforms B300 NAS 1.15:88585 ✔ Available