Denvir, T. - 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 Denvir, T.

Showing 1 - 4 of 4 results

Search Results

Cover image for FME '94: Industrial Benefit of Formal Methods

FME '94: Industrial Benefit of Formal Methods

by Naftalin, Maurice
1994
Format: Electronic

Location
Access Content Online

Cover image for The analysis of concurrent systems

The analysis of concurrent systems

by Workshop on the Analysis of Concurrent Systems
1985
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.6 .W72X 1983	✔ Available

Cover image for TG4 @ 10

TG4 @ 10

by O'Connell, Eithne M. T., 1957-
2008
Format: Electronic

Location
Access Content Online

Cover image for Fill arís

Fill arís

2012
Format: Electronic

Location
Access Content Online