"Computer Software+Verification." - ECU Libraries Catalog

Start Over

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

Showing 111 - 120 of 180 results

Search Results

Cover image for Computer aided verification

Computer aided verification

by CAV '94
1994
Format: Book

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

Cover image for Computer aided verification

Computer aided verification

by CAV (Conference)
1996
Format: Book

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

Cover image for Computer aided verification

Computer aided verification

by CAV '93
1993
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.E93 C38 1993B	✔ Available

Cover image for Model checking software

Model checking software

by International SPIN Workshop
2001
Format: Electronic

Location
Access Content Online

Cover image for Model checking software

Model checking software

by International SPIN Workshop
2002
Format: Electronic

Location
Access Content Online

Cover image for Transformational derivation of programs using the Focus system

Transformational derivation of programs using the Focus system

by Reddy, Uday S.
1988
Format: Electronic

Location
Access Content Online

Cover image for Numerical software with result verification

Numerical software with result verification

2004
Format: Electronic

Location
Access Content Online

Cover image for Trustworthly [sic] global computing

Trustworthly [sic] global computing

by TGC 2010
2010
Format: Electronic

Location
Access Content Online

Cover image for Trustworthy global computing

Trustworthy global computing

by TGC (Symposium)
2014
Format: Electronic

Location
Access Content Online

Cover image for Trustworthy global computing

Trustworthy global computing

by TGC 2007
2008
Format: Electronic

Location
Access Content Online