"Computer software+Verification.+Congresses." - ECU Libraries Catalog

Start Over

You searched for: subject "Computer software+Verification.+Congresses."

Showing 1 - 10 of 99 results

Search Results

Cover image for Dependable software systems engineering

Dependable software systems engineering

by NATO Advanced Study Institute on Dependable Software Systems Engineering
2015
Format: Electronic

Location
Access Content Online

Cover image for Hardware and software, verification and testing

Hardware and software, verification and testing

by International Haifa Verification Conference
2008
Format: Electronic

Location
Access Content Online

Cover image for Theory and applications of satisfiability testing-- SAT 2012

Theory and applications of satisfiability testing-- SAT 2012

by SAT 2012
2012
Format: Electronic

Location
Access Content Online

Cover image for Software safety and security

Software safety and security

by NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security
2012
Format: Electronic

Location
Access Content Online

Cover image for Computer aided verification

Computer aided verification

by CAV'98 (Conference)
1998
Format: Book

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

Cover image for Computer aided verification

Computer aided verification

by CAV (Conference)
2006
Format: Electronic

Location
Access Content Online

Cover image for Computer aided verification

Computer aided verification

by CAV'99.
1999
Format: Book

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

Cover image for Computer aided verification

Computer aided verification

by CAV 2000
2000
Format: Book

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

Cover image for Computer aided verification

Computer aided verification

by CAV (Conference)
2001
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