"Computer programs+Verification." - ECU Libraries Catalog

Start Over

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

Showing 31 - 40 of 98 results

Search Results

Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

by International Workshop on Formal Methods for Industrial Critical Systems
2011
Format: Electronic

Location
Access Content Online

Cover image for Verification, induction, termination analysis

Verification, induction, termination analysis

2010
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 Scientific computing with automatic result verification

Scientific computing with automatic result verification

1993
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA297 .S384 1993	✔ Available

Cover image for Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation

by VMCAI 2005
2005
Format: Electronic

Location
Access Content Online

Cover image for Hardware and software

Hardware and software

by International Haifa Verification Conference
2009
Format: Electronic

Location
Access Content Online

Cover image for Hardware and software

Hardware and software

by International Haifa Verification Conference
2011
Format: Electronic

Location
Access Content Online

Cover image for Formal methods

Formal methods

by International Workshop on Formal Methods for Industrial Critical Systems
2007
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 Automatic verification of programs with complex data structures

Automatic verification of programs with complex data structures

by Suzuki, Norihisa, 1946-
1980
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.6 .S9138 1980	✔ Available