- ECU Libraries Catalog

Start Over

You searched for: author_facet Davies, Jim

Showing 1 - 10 of 11 results

Search Results

Cover image for Engineering Agile Big-Data Systems

Engineering Agile Big-Data Systems

by Feeney, Kevin
2018
Format: Electronic

Location
Access Content Online

Cover image for Riveted

Riveted

by Davies, Jim
2014
Format: Book

Location	Call #	Status
Joyner - General Stacks	BF698.95 .D38 2014	✔ Available

Cover image for Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

by Davies, Jim
2011
Format: Electronic

Location
Access Content Online

Cover image for ICEGOV 2010 Beijing China

ICEGOV 2010 Beijing China

by Janowski, Tomasz
2010
Format: Electronic

Location
Access Content Online

Cover image for The Bard and Co.

The Bard and Co.

by Davies, Jim
2007
Format: Electronic

Location
Access Content Online

Cover image for Integrated formal methods

Integrated formal methods

by International Conference on Integrated Formal Methods
2007
Format: Electronic

Location
Access Content Online

Cover image for Formal Methods and Software Engineering

Formal Methods and Software Engineering

by Davies, Jim, 1964-
2005
Format: Electronic

Location
Access Content Online

Cover image for Formal methods and software engineering

Formal methods and software engineering

by International Conference on Formal Engineering Methods
2004
Format: Electronic

Location
Access Content Online

Cover image for FM'99--formal methods

FM'99--formal methods

by World Congress on Formal Methods in the Development of Computing Systems
1999
Format: Electronic

Location
Access Content Online

Cover image for FM'99--formal methods

FM'99--formal methods

by World Congress on Formal Methods in the Development of Computing Systems
1999
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.F67 W67 1999 V. 1	✔ Available
Joyner - General Stacks	QA76.9.F67 W67 1999 V. 2	✔ Available