"Computer Software+Verification." - ECU Libraries Catalog

Start Over

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

Showing 31 - 40 of 180 results

Search Results

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 Time for verification

Time for verification

2010
Format: Electronic

Location
Access Content Online

Cover image for Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

by Apt, Krzysztof R., 1949-
2009
3rd extended ed.
Format: Electronic

Location
Access Content Online

Cover image for Verification

Verification

2003
Format: Electronic

Location
Access Content Online

Cover image for Software verification and analysis

Software verification and analysis

by Łaski, Janusz
2009
Format: Electronic

Location
Access Content Online

Cover image for Extensions of the UNITY methodology

Extensions of the UNITY methodology

by Rao, Josyula Ramachandra, 1962-
1995
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.642 .R43 1995	✔ Available

Cover image for Computer Aided Verification

Computer Aided Verification

by Dill, D. L.
2007
Format: Electronic

Location
Access Content Online