- 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: author_facet TACAS 2000

Showing 1 - 2 of 2 results

Search Results

Cover image for Tools and algorithms for the construction and analysis of systems

Tools and algorithms for the construction and analysis of systems

by TACAS 2000
2000
Format: Electronic

Location
Access Content Online

Cover image for Tools and algorithms for the construction and analysis of systems

Tools and algorithms for the construction and analysis of systems

by TACAS 2000
2000
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.S88 T33 2000	✔ Available