"Computer Software+Verification." - ECU Libraries Catalog

Start Over

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

Showing 41 - 50 of 180 results

Search Results

Cover image for Computer Aided Verification

Computer Aided Verification

by Hunt, Warren A.
2003
Format: Electronic

Location
Access Content Online

Cover image for Computer Aided Verification

Computer Aided Verification

by Halbwachs, Nicolas
1999
Format: Electronic

Location
Access Content Online

Cover image for Computer Aided Verification

Computer Aided Verification

by Grumberg, O.
1997
Format: Electronic

Location
Access Content Online

Cover image for Computer Aided Vertification

Computer Aided Vertification

by Hu, A. J.
1998
Format: Electronic

Location
Access Content Online

Cover image for Hardware and software

Hardware and software

by International Haifa Verification Conference
2012
Format: Electronic

Location
Access Content Online

Cover image for New trends in software methodologies, tools and techniques

New trends in software methodologies, tools and techniques

by International Conference on New Trends in Software Methodologies, Tools and Techniques
2011
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.758 .N49 2011	✔ Available

Cover image for Tests and proofs

Tests and proofs

by TAP (Conference)
2012
Format: Electronic

Location
Access Content Online

Cover image for Runtime verification

Runtime verification

by RV (Conference)
2012
Format: Electronic

Location
Access Content Online

Cover image for Runtime verification

Runtime verification

by RV (Conference)
2013
Format: Electronic

Location
Access Content Online

Cover image for Computer aided verification

Computer aided verification

by CAV (Conference)
2002
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.V47 C38 2002	✔ Available