"Computer programs+Reliability.+Congresses." - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: subject "Computer programs+Reliability.+Congresses."

Showing 1 - 10 of 17 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
2012
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 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 Reliable software technologies, Ada-Europe '96

Reliable software technologies, Ada-Europe '96

by Ada-Europe International Conference on Reliable Software Technologies
1996
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.73.A16 A23 1996	✔ Available

Cover image for Reliable software technologies--Ada-Europe

Reliable software technologies--Ada-Europe

by Ada-Europe International Conference on Reliable Software Technologies
1998
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.73.A35 A25 1998	✔ Available

Cover image for Reliable software technologies--Ada-Europe '97

Reliable software technologies--Ada-Europe '97

by Ada-Europe International Conference on Reliable Software Technologies
1997
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.73.A16 A23 1997	✔ Available

Cover image for Reliable software technologies

Reliable software technologies

by Ada-Europe International Conference on Reliable Software Technologies
2004
Format: Electronic

Location
Access Content Online

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
2010
Format: Electronic

Location
Access Content Online

Cover image for Reliable software technologies -- Ada-Europe 2012

Reliable software technologies -- Ada-Europe 2012

by Ada-Europe International Conference on Reliable Software Technologies
2012
Format: Electronic

Location
Access Content Online

Cover image for Reliable software technologies

Reliable software technologies

by Ada-Europe International Conference on Reliable Software Technologies
2006
Format: Book

Location
Access Content Online